Date: Thu, 2 Dec 1999 12:13:32 +0100
From: Damien Doligez <Damien.Doligez@inria.fr>
Subject: Re: Why is this not allowed?
>From: Claudio Sacerdoti Coen <email@example.com>
>can you explain me why is this not allowed?
>I can't see a problematic counterexample.
># let rec id'' = id;;
>This kind of expression is not allowed as right-hand side of `let rec'
Because we don't know how to compile "let rec x = x" or
let rec x = y
and y = x
Moreover, you can just remove the "rec" and it works. It is possible
to implement "let rec var1 = var2", but the usefulness is quite small
compared to the amount of code we would need to write.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:29 MET