[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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