Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] mutually referencing compilation units
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-09-17 (12:32)
From: Xavier Leroy <xavier.leroy@i...>
Subject: Re: [Caml-list] mutually referencing compilation units
> Is the fact that two mutually referencing units can't be compiled
> supposed to be a Good Thing?

No, it is acknowledged as an unfortunate limitation and an annoyance
to the programmer.  However, there are deep semantical and
type-theoretical reasons that make it hard to allow cross-module
recursion in ML.  This is actually a research area that is still
largely open.

> It seems to be a consequence of the fact that
> order of .cmo's is relevant

Actually, it's the other way around: the order of .cmo's is relevant
because the ML module system supports only sequential / nonrecursive
definitions of modules, but not parallel / recursive module

- Xavier Leroy
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: