Improve inference algorithm for modules. #37
Description
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;;
{{ message }}
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;;