On Thu, May 24, 2007 at 07:51:02PM +1000, skaller wrote:
> Can't you can fix that by:
> 
> module xx : sig .. end = struct
> ..
> end include xx
> 
> That way all the symbols you want are in the .ml
> file.

Yes that would kind of work, however that generate an ugly signature
with ocamlc -i (I know i'm beeing difficult here ;))

> However this isn't really the same as
> 
> private val f: int -> int
> let f x = ..
> 
> which can be done by:
> 
> let f (x:int):int = ..
> 
> the problem being it is invasive (you have to
> edit the function decl instead of writing a 
> separate type decl).

I like the separation personally. Haskell has it, and I found it quite neat.

Cheers,
-- 
Vincent Hanquez