• 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
benchmarks Loading commit data...
compile Loading commit data...
doc Loading commit data...
driver Loading commit data...
misc Loading commit data...
ocaml @ ecc80c0d Loading commit data...
ocamliface Loading commit data...
parser Loading commit data...
query Loading commit data...
runtime Loading commit data...
schema Loading commit data...
tests Loading commit data...
tools Loading commit data...
types Loading commit data...
typing Loading commit data...
web Loading commit data...
win32 Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
INSTALL Loading commit data...
INSTALL.RPM Loading commit data...
INSTALL.WIN32 Loading commit data...
INSTALL.mingw Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile Loading commit data...
Makefile.binary Loading commit data...
Makefile.conf.template Loading commit data...
Makefile.distrib Loading commit data...
Makefile.macosx Loading commit data...
PLIST.godi Loading commit data...
README Loading commit data...
TODO Loading commit data...
VERSION Loading commit data...
cduce-expat.spec Loading commit data...
cduce.spec Loading commit data...
cduce_mktop Loading commit data...
configure Loading commit data...
configure.ml Loading commit data...
depend Loading commit data...
header Loading commit data...
win-installer.readme Loading commit data...