From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA06025 for caml-redistribution; Fri, 21 Nov 1997 17:28:29 +0100 (MET) 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 RAA12026 for ; Thu, 20 Nov 1997 17:23:34 +0100 (MET) Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id RAA24869 for ; Thu, 20 Nov 1997 17:23:31 +0100 (MET) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.8.5/8.8.5/R-1.8) with ESMTP id LAA00321 for ; Thu, 20 Nov 1997 11:23:11 -0500 (EST) Received: from cs.cornell.edu (TEHACHAPI.CS.CORNELL.EDU [128.84.248.52]) by cloyd.cs.cornell.edu (8.8.5/8.8.5/M-1.9) with ESMTP id LAA04132; Thu, 20 Nov 1997 11:23:08 -0500 (EST) Message-ID: <347463F2.BCE72D7D@cs.cornell.edu> Date: Thu, 20 Nov 1997 11:23:14 -0500 From: Jason Hickey Organization: Cornell University X-Mailer: Mozilla 4.03 [en] (WinNT; I) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Ocaml-1.06: type system changes Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis The type system seems to have changed in OCaml 1.06. The following code no longer compiles (it compiled in ocaml-1.05): type x = x option Here's the complaint: % ocamlc -c x.ml File "x.ml", line 1, characters 4-17: The type abbreviation x is cyclic This doesn't seem like a problem with the type theory, since the type "x" should probably be isomorphic to the natural numbers. Is there a reason for the failure? -- Jason Hickey Email: jyh@cs.cornell.edu Department of Computer Science Tel: (607) 255-4392 Cornell University