English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2008-12-05 (11:57)
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?