Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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!