Browse thread
[Caml-list] recursive modules redux, & interface files
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] recursive modules redux, & interface files |
Hi everybody, My usual hack for mutually recursive functions in different modules: File foo.ml: let g_ref = ref (fun _ -> failwith "Bar.g not yet defined") let g x = !g_ref x let f ... = .... g ... File bar.ml: let g .... = .... Foo.f ... Foo.g_ref := g By extending the language using Camlp4, by the constructions "forward" and "define_forward" doing the right thing, you could have: File foo.ml: forward g let f ... = .... g ... File bar.ml: let g .... = .... Foo.f ... define_forward g -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr