English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Recursive module and class
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-12 (07:34)
From: Keiko Nakata <keiko@k...>
Subject: Re: [Caml-list] Recursive module and class
Hello.

To the best of my knowledge, there is subtle interaction 
between typing of recursive modules and unfolding of recursive structural types,
i.e, classes and polymorphic variants. 
I remember Jacques has hit a similar problem:
http://caml.inria.fr/pub/ml-archives/caml-list/2008/02/de4c1ddaa8bf3c0ef9350d8fb4f1e8f7.en.html

My understanding is that with recursive modules you may define two types 
that are equivalent but do not join together by simple unfolding 
of abbreviations; this seems to confuse the type checker. 
I believe this is a known bug of the current implementation
of the type checker. 

With best regards,
Keiko