From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Tue, 18 Oct 94 20:32:50 +0100
Received: from concorde.inria.fr by pauillac.inria.fr; Tue, 18 Oct 94 20:17:22 +0100
Received: from couchey.inria.fr (couchey.inria.fr [128.93.8.62]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id UAA08339; Tue, 18 Oct 1994 20:17:20 +0100
Received: by couchey.inria.fr (5.57/Ultrix3.0-C)
	id AA27432; 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
Sender: weis@pauillac.inria.fr

>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;;