Re: [Caml-list] let rec with let ref

["Christoph Höger" <christoph.hoeger@tu-berlin.de>]

You should use this variant:

let forloop g v u =
  let x = ref v in let rec h () = begin g !x; x := !x + 1; if !x <= u
then h ()
end
  in h;;

1. forloop does not need to be recursive (and is not a syntactical function)
2. h is not a syntactical function, but can easily be made one.
Recursive functions need to be syntactical functions (i.e.
lambda-abstractions) in order to correctly compile them.

regards,

Christoph

Am 18.03.2016 um 12:36 schrieb Goswin von Brederlow:
> let rec forloop g v u =
>> >   let x = ref v in let rec h = begin g !x; x := !x + 1; if !x <= u then h
>> > end
>> >   in h;;


-- 
Christoph Höger

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de