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

Improve inference algorithm for modules. #37

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

For the moment, we can have mutual dependent fields.


let module M = struct
  type t = Int.t
  let f = fun(x : Int.t) -> self.g x
  let g = fun(x : Int.t) -> self.f x
end;;
dannywillems commented 7 years ago

Type annotations on fields can be used.