Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Question point fixe
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien.Doligez@i...
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

let rec x = succ x;;