Version française
Home     About     Download     Resources     Contact us    
Browse thread
let rec x = lazy x
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alessandro Baretta <a.baretta@b...>
Subject: let rec x = lazy x
Strange as it may seem, it seems to work! With -rectypes enabled of course.

Obviously, forcing x does not produce anything sensible, but it does produce 
something. Am I justified in believing that the result is a long chain of 
lazy-blocks, the last one containing a Stack_overflow exception?

Alex


-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>