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

Stack overflow when subtyping on list. #38

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

Because we compare x_int.t and y_int.t.

In general, recursive types. We can detect we already ask the question.

dannywillems commented 7 years ago 
sig(z)
  type t = z.t
end <: Int.t

Naive: yes. Expected: no.