Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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