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
Feature wish: to omit explicit coercion for mli's
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Keiko Nakata <keiko@k...>
Subject: Re: [Caml-list] Feature wish: to omit explicit coercion for mli's
From: Oliver Bandel <>
> If *.ml and *.mli do not match, then you have written
> code that better would be rewritten, to say it nicely. ;-)

I do not think this is a bug-wish. would match with ob.mli by inserting explicit coercion as in :

 let o = (object  method f1 = 1  method f2 = 2 end :> < f1 : int >)

in ob.mli:
 val o : < f1 : int >

I thought that this explicit coercion can be suppressed  
with little inefficiency of the type checker.
I occasionally use immediate objects to build polymorphic objects 
without writing type annotations.
(I mean, if I build polymorphic objects through class definitions,
I may need to define the classes with many type parameters.)
For the same reason, I thought that it would be nice 
if I could omit explicit coercion in some cases
when it does not cause inefficiency a lot.