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

Not in environment with recursive modules in parameters of a function. #50

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago 
let h' = fun(m : sig type t val add : self.t -> self.t -> Int.t end, x : m.t, y : m.t) -> m.add x y;;

In file test/MISC/function.rml 6:95 : The key self/376 is not in context :