Version française
Home     About     Download     Resources     Contact us    
Browse thread
Why isn't -rectypes command line option the default
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Erik de Castro Lopo <mle+ocaml@m...>
Subject: Why isn't -rectypes command line option the default
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