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 |
|---|---|---|
| .cvsignore | -rw-r--r-- | 344 bytes |
| .depend | -rw-r--r-- | 45.1 KB |
| Makefile | -rw-r--r-- | 6.0 KB |
| Makefile.nt | -rw-r--r-- | 2.6 KB |
| alpha.S | -rw-r--r-- | 14.1 KB |
| amd64.S | -rw-r--r-- | 13.6 KB |
| amd64nt.asm | -rw-r--r-- | 14.7 KB |
| arm.S | -rw-r--r-- | 11.1 KB |
| backtrace.c | -rw-r--r-- | 6.9 KB |
| fail.c | -rw-r--r-- | 5.5 KB |
| hppa.S | -rw-r--r-- | 16.2 KB |
| i386.S | -rw-r--r-- | 13.5 KB |
| i386nt.asm | -rw-r--r-- | 9.2 KB |
| ia64.S | -rw-r--r-- | 17.7 KB |
| m68k.S | -rw-r--r-- | 7.2 KB |
| mips.s | -rw-r--r-- | 13.1 KB |
| natdynlink.c | -rw-r--r-- | 2.9 KB |
| natdynlink.h | -rw-r--r-- | 0 bytes |
| power-aix.S | -rw-r--r-- | 14.8 KB |
| power-elf.S | -rw-r--r-- | 12.8 KB |
| power-rhapsody.S | -rw-r--r-- | 15.1 KB |
| roots.c | -rw-r--r-- | 10.3 KB |
| signals_asm.c | -rw-r--r-- | 7.2 KB |
| signals_osdep.h | -rw-r--r-- | 9.9 KB |
| sparc.S | -rw-r--r-- | 13.7 KB |
| stack.h | -rw-r--r-- | 4.4 KB |
| startup.c | -rw-r--r-- | 5.9 KB |
