Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] recursive modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Max Skaller <skaller@o...>
Subject: Re: [Caml-list] recursive modules
Xavier Leroy wrote:

> Since the issue of recursive modules has (again) popped up on this
> list, it seems that now is a good time to announce an experimental
> design and implementation for recursive modules in OCaml that I've
> been working on lately.  



> What this extension provides is a "module rec ... and ..." binding
> that allows the definition of mutually-recursive modules within the
> same compilation units.  Recursion between compilation units is a
> different problem that is not adressed yet.  



> Comments and feedback are most welcome, as long as they are of the
> constructive kind.


An interim hack may give the appearance of "almost" separate

compilation: require mutually recursive modules in separate
files be compiled together on the one command line:


ocamlc -bb file1.ml file2.ml -eb

[where -bb and -eb mean begin and end brackets]

and, well, simply concatenate them after adding
wrapper code:

	// file: file12.ml generated
	module file1 = struct
	#include file1.ml
	end
	and
	module file2 = struct
	#include file2.ml
	end

where file12 is implicitly opened.

This isn't separate compilation, but it does allow
something almost more important (since ocaml is so
fast, who cares about separate compilation anyhow?):
it allows breaking up long files into several
smaller ones.

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners