Re: Question point fixe

Damien Doligez (Damien.Doligez@inria.fr)
Tue, 18 Oct 94 20:17:17 +0100

Date: Tue, 18 Oct 94 20:17:17 +0100
From: Damien.Doligez@inria.fr (Damien Doligez)
Message-Id: <9410181917.AA27432@couchey.inria.fr>
To: Pierre.Weis@inria.fr, caml-list@pauillac.inria.fr
Subject: Re: Question point fixe

>From: Vincent Poirriez
>
>Why is it impossible to write:
>
>let rec monf = build monf;;

Because the compiler does not want to know anything about "build"
(except its type) when it compiles "monf". Thus it doesn't know
whether "build" will use its argument or not. If "build" does use its
argument, there is no way to make this work. This is the same as
writing:

let rec x = succ x;;