• Kim Nguyễn's avatar
    Fix a bug in toplevel definition of types: · 42dda81a
    Kim Nguyễn authored
    when a type such as
    
    type t('a) = (Int,'a)
    
    is introduced, the variables occuring in the definitions are replaced by fresh occurences.
    The variables in the left-hand-side were note renamed accordingly, yielding a type definition:
    
    type t('a_0) = (Int, 'a_1)
    
    when performing type substitutions, none of the occurences of 'a_1 were replaced.
    42dda81a
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...
.gitmodules Loading commit data...
.ocamlinit 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...
Makefile.types Loading commit data...
PLIST.godi Loading commit data...
README Loading commit data...
TODO Loading commit data...
VERSION Loading commit data...
_tags Loading commit data...
boolVarOUnit.mlpack 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...
myocamlbuild.ml Loading commit data...
opam_config.sh Loading commit data...
typesOUnit.mlpack Loading commit data...
win-installer.readme Loading commit data...