Re: [Caml-list] Strange behavior of mutualy recursive definitions

[Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 594 bytes --]

On 04/28/2011 06:06 AM, rixed@happyleptic.org wrote:
> Although "let rec f = f" is unsound and rejected as expected,
> why is "let rec f : unit -> unit = f" also rejected, since it seams
> trivially equivalent to "let rec f () : unit = f ()" (which is
> accepted) ?

Eta-conversion (transforming "let f = f into let f () = f ()") is
unsound in the general case. Indeed, take for example:

let f () = print_string "titi"; function () -> print_string "toto"

Is "let g = f ()" equivalent to "let g () = f () ()" ? No.

So, no eta-expansion is ever performed using only type information.

Fabrice

[-- Attachment #2: fabrice_le_fessant.vcf --]
[-- Type: text/x-vcard, Size: 380 bytes --]

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;P2P & OCaml
adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France
email;internet:fabrice.le_fessant@inria.fr
title;quoted-printable:Charg=C3=A9 de Recherche
tel;work:+33 1 74 85 42 14
tel;fax:+33 1 74 85 42 49 
url:http://fabrice.lefessant.net/
version:2.1
end:vcard