search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
36 stars 3 forks source link

With sugar #28

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago

The sugar with type t = Int.t is considered as an intersection.

dannywillems commented 7 years ago

let module M = fun(x : sig type t end, y : N.t with type y.t = x.t) -> 42 --> let module M = fun(x : sig type t end, y : N.t INTER { type t = x.t }) -> 42.