https://github.com/charguer/ocaml
Tip revision: 4548f1e68f99a1eead460251a20ebfe2b3e736f4 authored by Alain Frisch on 14 December 2010, 08:38:03 UTC
Allow implicit coercion on type with free variables (if subtyping does not unify variables).
Allow implicit coercion on type with free variables (if subtyping does not unify variables).
Tip revision: 4548f1e
File | Mode | Size |
---|---|---|
alpha | ||
amd64 | ||
arm | ||
hppa | ||
i386 | ||
ia64 | ||
m68k | ||
mips | ||
power | ||
sparc | ||
.cvsignore | -rw-r--r-- | 61 bytes |
asmgen.ml | -rw-r--r-- | 4.6 KB |
asmgen.mli | -rw-r--r-- | 1.1 KB |
asmlibrarian.ml | -rw-r--r-- | 2.6 KB |
asmlibrarian.mli | -rw-r--r-- | 1.0 KB |
asmlink.ml | -rw-r--r-- | 13.5 KB |
asmlink.mli | -rw-r--r-- | 1.7 KB |
asmpackager.ml | -rw-r--r-- | 7.0 KB |
asmpackager.mli | -rw-r--r-- | 1.3 KB |
clambda.ml | -rw-r--r-- | 2.6 KB |
clambda.mli | -rw-r--r-- | 2.6 KB |
closure.ml | -rw-r--r-- | 30.7 KB |
closure.mli | -rw-r--r-- | 951 bytes |
cmm.ml | -rw-r--r-- | 3.4 KB |
cmm.mli | -rw-r--r-- | 3.2 KB |
cmmgen.ml | -rw-r--r-- | 72.4 KB |
cmmgen.mli | -rw-r--r-- | 1.6 KB |
cmx_format.mli | -rw-r--r-- | 2.8 KB |
codegen.ml | -rw-r--r-- | 3.2 KB |
codegen.mli | -rw-r--r-- | 1.1 KB |
coloring.ml | -rw-r--r-- | 10.0 KB |
coloring.mli | -rw-r--r-- | 929 bytes |
comballoc.ml | -rw-r--r-- | 3.8 KB |
comballoc.mli | -rw-r--r-- | 935 bytes |
compilenv.ml | -rw-r--r-- | 6.4 KB |
compilenv.mli | -rw-r--r-- | 3.3 KB |
debuginfo.ml | -rw-r--r-- | 1.8 KB |
debuginfo.mli | -rw-r--r-- | 1.1 KB |
emit.mli | -rw-r--r-- | 1002 bytes |
emitaux.ml | -rw-r--r-- | 6.1 KB |
emitaux.mli | -rw-r--r-- | 2.1 KB |
interf.ml | -rw-r--r-- | 5.7 KB |
interf.mli | -rw-r--r-- | 981 bytes |
linearize.ml | -rw-r--r-- | 8.6 KB |
linearize.mli | -rw-r--r-- | 1.7 KB |
liveness.ml | -rw-r--r-- | 4.7 KB |
liveness.mli | -rw-r--r-- | 976 bytes |
mach.ml | -rw-r--r-- | 3.8 KB |
mach.mli | -rw-r--r-- | 2.8 KB |
printcmm.ml | -rw-r--r-- | 6.8 KB |
printcmm.mli | -rw-r--r-- | 1.3 KB |
printlinear.ml | -rw-r--r-- | 2.5 KB |
printlinear.mli | -rw-r--r-- | 991 bytes |
printmach.ml | -rw-r--r-- | 7.1 KB |
printmach.mli | -rw-r--r-- | 1.4 KB |
proc.mli | -rw-r--r-- | 1.9 KB |
reg.ml | -rw-r--r-- | 4.2 KB |
reg.mli | -rw-r--r-- | 2.2 KB |
reload.mli | -rw-r--r-- | 955 bytes |
reloadgen.ml | -rw-r--r-- | 4.5 KB |
reloadgen.mli | -rw-r--r-- | 1.4 KB |
schedgen.ml | -rw-r--r-- | 11.8 KB |
schedgen.mli | -rw-r--r-- | 2.1 KB |
scheduling.mli | -rw-r--r-- | 909 bytes |
selectgen.ml | -rw-r--r-- | 28.3 KB |
selectgen.mli | -rw-r--r-- | 4.1 KB |
selection.mli | -rw-r--r-- | 963 bytes |
spill.ml | -rw-r--r-- | 14.8 KB |
spill.mli | -rw-r--r-- | 974 bytes |
split.ml | -rw-r--r-- | 6.8 KB |
split.mli | -rw-r--r-- | 937 bytes |