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).
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 | ||
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... |