Ocaml-1.06: type system changes

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


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



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