Re: [Caml-list] Re: Define class and sum type in one time

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

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

On 03/17/2011 02:44 PM, Gabriel Scherer wrote:

> PS : I remember reading about an extension to OCaml where all
> compilation units where implicitly recursive, so that you could write
> Current_module.foo and have mutual structure item recursion for free. I
> thought it was from Alain Frisch, but a search on Lexifi's blog didn't
> return anything. Has one list reader kept the reference to this article?

On Tue, Dec 28, 2010 at 03:59:32PM +0100, Alain Frisch wrote:

...

I can also mention a local extension we use at LexiFi: a compilation
unit (.ml) for which an explicit signature (.mli) exists is type-checked
as a recursive module with itself. (Currently, we disallow recursive
references to value-like components.)  So in the example above, the
definition of the module type S could be put in Bar.mli:

...

--Fabrice

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

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;Projet OCamlPro
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