[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-26 (00:17) |
From: | Jacques Garrigue <garrigue@m...> |
Subject: | Re: [Caml-list] possible infinite loop in compiler |
From: Jon Harrop <jon@ffconsultancy.com> > On Wednesday 25 April 2007 14:24, Craig Falls wrote: > > The following code blows the stack in ocamlc and ocamlopt 3.09.3: > > > > module Foo : sig > > type 'a t = private 'a constraint 'a = [< `foo ] > > end = struct > > type 'a t = 'a constraint 'a = [< `foo ] > > end > > This appears to have been fixed in 3.10. Thanks for checking. By the way, I wonder what is the intent of the above definition. In a private definition, the row variable is not free, so using a constraint does not help in any way. Writing type t = private [< `Foo] would be just as expressive. Jacques Garrigue