Ocaml-1.06: type system changes

From: Jason Hickey (jyh@cs.cornell.edu)
Date: Thu Nov 20 1997 - 17:23:14 MET

Next message: Emmanuel Engel: "Re: type recursifs et abreviations cyclique and Co"
Previous message: Francisco Valverde: "Feature drawn back in new 1.06 version."
Maybe in reply to: Olivier PONS: "bibliotheque de manipulation de graph ?"
Next in thread: Francois Rouaix: "New release of OCamlTk41"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Thu, 20 Nov 1997 11:23:14 -0500
From: Jason Hickey <jyh@cs.cornell.edu>
To: caml-list@inria.fr
Subject: Ocaml-1.06: type system changes

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

Next message: Emmanuel Engel: "Re: type recursifs et abreviations cyclique and Co"
Previous message: Francisco Valverde: "Feature drawn back in new 1.06 version."
Maybe in reply to: Olivier PONS: "bibliotheque de manipulation de graph ?"
Next in thread: Francois Rouaix: "New release of OCamlTk41"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET