Recursive type inside recursive type

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

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

{ z => ... } <: { self => { z' => ... } };;

The algorithm fails for the moment.