From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA25729; Thu, 1 Nov 2001 16:27:53 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA25596 for ; Thu, 1 Nov 2001 16:27:52 +0100 (MET) Received: from smtp2.cswv.com (smtp2.cswv.com [4.17.129.20]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA1FRpT07026 for ; Thu, 1 Nov 2001 16:27:51 +0100 (MET) Received: from smtp2.cswv.com ([10.2.3.6]) by smtp2.cswv.com with Microsoft SMTPSVC(5.5.1877.197.19); Thu, 1 Nov 2001 10:27:45 -0500 Received: FROM exchange1.cswv.com BY smtp2.cswv.com ; Thu Nov 01 10:27:44 2001 -0500 Received: by exchange1.cswv.com with Internet Mail Service (5.5.2653.19) id ; Thu, 1 Nov 2001 10:31:51 -0500 Message-ID: From: "Krishnaswami, Neel" To: caml-list@inria.fr Subject: [Caml-list] Type declaration question Date: Thu, 1 Nov 2001 10:31:42 -0500 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I'm wondering why record declarations can't be part of a regular variant type declaration. Eg, is there a special reason that this is illegal: type expr = | Fun of {formal: string; body: expr} | App of {func: expr; arg: expr} and I must write: type expr = | Fun of fun_expr | App of app_expr and fun_expr = {formal: string; body: expr} and app_expr = {func: expr; arg: expr} IIRC the first version is ok in SML. Why the difference in Caml? -- Neel Krishnaswami neelk@cswcasa.com ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr