Version française
Home     About     Download     Resources     Contact us    
Browse thread
How important are circular lists/recursive objects?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Re: How important are circular lists/recursive objects?
On Thu, 2007-10-04 at 23:36 +0200, rossberg@ps.uni-sb.de wrote:
> skaller <skaller@users.sourceforge.net> wrote:

> > Note that stuff like:
> >
> > 	let rec x= (1,x)
> >
> > is not generally allowed: in functional terms it is ill-defined,
> 
> It is disallowed in OCaml because it has a cyclic type, not because it is
> a cyclic value. Try with "ocaml -rectypes".

lists have cyclic types too, they're not disallowed!

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net