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] Module intf/impl annoyances
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Eray Ozkural <exa@k...>
Subject: [Caml-list] Module intf/impl annoyances
Hi there,

I ran into what I think is a counter-intuitive feature in separate compilation 
of modules that I want to share with you.

It looks like others also had problems with having to dupe type signatures in 
both .mli and .ml files, so is there a working proposal to that end?

Since the .mli and .ml files are properly seen as sig and struct declarations, 
it looks as if a slight change in the semantics of struct would solve the 
problem: Those types declared in the corresponding sig but not redeclared in 
the struct are part of the struct. Is that really a reasonable and 
transparent solution?

The "other" cool functional language solves this by qualifying what to export; 
having the advantage that you declare types only once.


Eray Ozkural (exa) <>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project:
www:  Malfunction:
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

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