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 EAA25599; Thu, 15 Aug 2002 04:18:45 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA25519 for <caml-list@pauillac.inria.fr>; Thu, 15 Aug 2002 04:18:44 +0200 (MET DST)
Received: from hickory.cc.columbia.edu (hickory.cc.columbia.edu [128.59.59.202])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7F2Ig519710
	for <caml-list@inria.fr>; Thu, 15 Aug 2002 04:18:43 +0200 (MET DST)
Received: from there (tw304h3.cpmc.columbia.edu [156.111.84.180])
	by hickory.cc.columbia.edu (8.9.3/8.9.3) with SMTP id WAA22018
	for <caml-list@inria.fr>; Wed, 14 Aug 2002 22:18:41 -0400 (EDT)
Message-Id: <200208150218.WAA22018@hickory.cc.columbia.edu>
Content-Type: text/plain;
  charset="iso-8859-1"
From: Oleg <oleg_inconnu@myrealbox.com>
To: caml-list@inria.fr
Subject: [Caml-list] Cyclic ?!
Date: Wed, 14 Aug 2002 22:19:48 -0400
X-Mailer: KMail [version 1.3.2]
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi

I'm puzzled by the following compiler behavior:

If I define bin_tree as

type 'a bin_tree = 
           Empty
         | Node of 'a bin_tree * 'a * 'a bin_tree

the compiler accepts it. OTOH if I define it as

type 'a bin_tree = ('a bin_tree * 'a * 'a bin_tree) option

It gives an error: "The type abbreviation bin_tree is cyclic".
Why??? And what's the difference between the two, really?

Thanks
Oleg
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners