[Caml-list] A new lexical oddity?

[Caml-list] A new lexical oddity?

[Christian RINDERKNECHT]

Dear list,

I found this:

        Objective Caml version 3.01
  
# module type S = sig val f : [< `A of <m : unit -> 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 <m : unit -> 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