Version française
Home     About     Download     Resources     Contact us    
Browse thread
New language feature in OCaml 3.11
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Paolo Donadeo <p.donadeo@g...>
Subject: New language feature in OCaml 3.11
>From OCaml 3.11 release notes:

> - Subtyping is now allowed between a private abbreviation and its definition,
>  and between a polymorphic method and its monomorphic instance.

Is there anybody who wants to elaborate this with an example,
especially the second statement, regarding polymorphic methods?


TIA,

-- 
Paolo
~
~
:wq