From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9D26DBC6B for ; Wed, 21 Mar 2007 01:34:44 +0100 (CET) Received: from smtp.syd.people.net.au (smtp.syd.people.net.au [218.214.225.98]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l2L0YdYf002226 for ; Wed, 21 Mar 2007 01:34:43 +0100 Received: (qmail 7400 invoked from network); 21 Mar 2007 00:34:37 -0000 Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136) by smtp.syd.people.net.au with SMTP; 21 Mar 2007 00:34:37 -0000 Received: from coltrane (coltrane [192.168.1.101]) by coltrane.mega-nerd.net (Postfix) with SMTP id 862B37B6B for ; Wed, 21 Mar 2007 11:34:31 +1100 (EST) Date: Wed, 21 Mar 2007 11:34:30 +1100 From: Erik de Castro Lopo To: caml-list@inria.fr Subject: Why isn't -rectypes command line option the default Message-Id: <20070321113430.f32c802a.mle+ocaml@mega-nerd.com> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed version 2.3.0beta5 (GTK+ 2.8.20; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46007D9F.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 -rectypes:01 recursive:01 compiler:01 -rectypes:01 node:01 cheers:01 compile:01 define:01 lazy:02 lazy:02 erik:04 erik:04 definition:07 wondering:09 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