"Alain Frisch" <alain@frisch.fr>:
>
> But the really interesting thing is that the new feature opens the door
> to extending the subtyping operator :> to take into account the natural
> (identity) injection from a private abbreviation to the underlying type.
Indeed. The first thing I was wondering when reading Pierre's description
was how that makes
type t = private int
any different from a bounded abstraction
type t <: int
With OCaml's explicit subtyping coercions, the former seems to be subsumed
by the latter.
- Andreas