Hi all,

If I try to define a recursive type like this:

    type 'a t = 'a * 'a t Lazy.t

the compiler won't accept it unless I add -rectypes to the compile
command.

I know I can avoid this by using a tag:

    type 'a t = Node of 'a * 'a t Lazy.t

but I was wondering if there was a reason why -rectypes wasn't the
default.

Cheers,
Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo
+-----------------------------------------------------------+
"The very definition of hell is having to maintain someone 
else's Perl code." -- Anonymous