From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA15929; Sun, 13 May 2001 22:10:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA15922 for caml-list@pauillac.inria.fr; Sun, 13 May 2001 22:10:49 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA29494 for ; Wed, 9 May 2001 14:58:00 +0200 (MET DST) Received: from hugo.int-evry.fr (hugo.int-evry.fr [157.159.100.81]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f49CvxX03327 for ; Wed, 9 May 2001 14:57:59 +0200 (MET DST) Received: from (rinderkn@localhost) by hugo.int-evry.fr (8.8.8/jtpda-5.3) id OAA07059 for caml-list@inria.fr; Wed, 9 May 2001 14:54:32 +0200 (MET DST) Date: Wed, 9 May 2001 14:54:32 +0200 From: Christian RINDERKNECHT To: caml-list@inria.fr Subject: [Caml-list] A new lexical oddity? Message-ID: <20010509145432.E6480@hugo.int-evry.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.95.5i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear list, I found this: Objective Caml version 3.01 # module type S = sig val f : [< `A of unit; ..>] -> unit end;; Characters 58-60: Syntax error: 'end' expected Characters 16-19: This 'sig' might be unmatched # module type S = sig val f : [< `A of unit; ..> ] -> unit end;; module type S = sig val f : [< `A of < m : unit -> unit; .. >] -> unit end # I did know some "extra-space peculiarities" but this one is new to me. Is it due to a mismatch with stream-pattern lexing? Is there a list of such oddities? (Long time ago I heard that some inferred interfaces are not regular signatures (for syntactical reasons), but it is a different problem here.) Best regards, -- Christian ----------------------------------------------------------------------- Christian Rinderknecht Phone +33 (0)1 60 76 44 43 Institut National des Télécommunications Fax +33 (0)1 60 76 47 11 Département Logiciels Réseaux (LOR) WWW 9, Rue Charles Fourier, F-91011 Évry Cedex ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr