Feature wish: to omit explicit coercion for mli's

[Keiko Nakata <keiko@kurims.kyoto-u.ac.jp>]

Hello,

it would be nice if I can omit explicit type coercion 
to match .ml files with .mli's.

For instance, the following obj.ml does not match with obj.mli.

in obj.ml: 
 let o = object  method f1 = 1  method f2 = 2 end 

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

Explicit coercion would make the type system efficient.
However, I suppose that only inferring coercion when checking 
that .ml's meet .mli 's does not have much effect.

Regards,
Keiko NAKATA