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
call for examples and counter examples of recursive modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-07-04 (09:14)
From: Tom Hirschowitz <tom.hirschowitz@e...>
Subject: call for examples and counter examples of recursive modules

Hi all,

We are trying to augment caml's type system for checking the
well-foundedness of recursive module definitions. We are about to
finish a first prototype version of our system.

We thus would be very grateful for tricky examples of valid programs
using recursive modules, as well as tricky examples of invalid ones.

Please, do not send huge programs, nor programs using objects, as our
prototype does not yet handle them.

Thanks in advance!