• Kim Nguyễn's avatar
    Do not add constraints of the form s <= 'a <= t, for monomorphic alpha's, just... · 2ee30016
    Kim Nguyễn authored
    Do not add constraints of the form s <= 'a <= t, for monomorphic alpha's, just check that the constraint holds for all substitution and replace it with a universal Sat or Unsat. This prevent the algorithm from introducing dummy substitutions later on of the form 'a <- 'a which interact badly with type cleaning (replacing covariant/contra-variant occurences by Empty/Any).
    2ee30016
Name
Last commit
Last update
..
IDEAS Loading commit data...
atoms.ml Loading commit data...
atoms.mli Loading commit data...
bool.ml Loading commit data...
bool.mli Loading commit data...
boolean.ml Loading commit data...
boolean.mli Loading commit data...
builtin.ml Loading commit data...
builtin.mli Loading commit data...
builtin_defs.ml Loading commit data...
builtin_defs.mli Loading commit data...
chars.ml Loading commit data...
chars.mli Loading commit data...
compunit.ml Loading commit data...
compunit.mli Loading commit data...
externals.ml Loading commit data...
externals.mli Loading commit data...
ident.ml Loading commit data...
intervals.ml Loading commit data...
intervals.mli Loading commit data...
intervals_int.ml Loading commit data...
intervals_int.mli Loading commit data...
normal.ml Loading commit data...
normal.mli Loading commit data...
patterns.ml Loading commit data...
patterns.mli Loading commit data...
sample.ml Loading commit data...
sample.mli Loading commit data...
sequence.ml Loading commit data...
sequence.mli Loading commit data...
sortedList.ml Loading commit data...
sortedList.mli Loading commit data...
type_tallying.ml Loading commit data...
type_tallying.mli Loading commit data...
types.ml Loading commit data...
types.mli Loading commit data...
var.ml Loading commit data...
var.mli Loading commit data...