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
Module type troubles
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-18 (13:24)
From: Chris King <colanderman@g...>
Subject: Re: [Caml-list] Module type troubles
On 7/18/06, Jean-Marie Gaillourdet <> wrote:
> As far as I understand ML modules, the only way to achieve that is to
> capture your type variables with abstract types in separate modules,
> i.e. Foo and Bar have to get their type parameters as modules.

I was hoping to keep the functions polymorphic but it seems like
functors like you say are the best route... they'll probably end up
making my code cleaner anyway :P

Chris King