https://github.com/charguer/ocaml
Tip revision: b70027acb45ab2f5a5126c6594672cfdc6a77b7e authored by Alain Frisch on 22 April 2010, 15:52:06 UTC
More liberal syntax for annotations: let (f : ...) x1 x2 = ....
More liberal syntax for annotations: let (f : ...) x1 x2 = ....
Tip revision: b70027a
| File | Mode | Size |
|---|---|---|
| .cvsignore | -rw-r--r-- | 191 bytes |
| .depend | -rw-r--r-- | 24.0 KB |
| Makefile | -rw-r--r-- | 2.5 KB |
| Makefile.common | -rwxr-xr-x | 3.3 KB |
| Makefile.nt | -rw-r--r-- | 2.1 KB |
| alloc.c | -rw-r--r-- | 4.9 KB |
| alloc.h | -rw-r--r-- | 2.1 KB |
| array.c | -rw-r--r-- | 5.4 KB |
| backtrace.c | -rw-r--r-- | 8.7 KB |
| backtrace.h | -rw-r--r-- | 1.4 KB |
| callback.c | -rw-r--r-- | 6.8 KB |
| callback.h | -rw-r--r-- | 2.0 KB |
| compact.c | -rw-r--r-- | 14.0 KB |
| compact.h | -rw-r--r-- | 1.1 KB |
| compare.c | -rw-r--r-- | 9.3 KB |
| compare.h | -rw-r--r-- | 1016 bytes |
| compatibility.h | -rw-r--r-- | 12.6 KB |
| config.h | -rw-r--r-- | 5.2 KB |
| custom.c | -rw-r--r-- | 3.4 KB |
| custom.h | -rw-r--r-- | 2.3 KB |
| debugger.c | -rw-r--r-- | 11.8 KB |
| debugger.h | -rw-r--r-- | 4.7 KB |
| dynlink.c | -rw-r--r-- | 7.9 KB |
| dynlink.h | -rw-r--r-- | 1.6 KB |
| exec.h | -rw-r--r-- | 2.2 KB |
| extern.c | -rw-r--r-- | 19.9 KB |
| fail.c | -rw-r--r-- | 4.1 KB |
| fail.h | -rw-r--r-- | 3.0 KB |
| finalise.c | -rw-r--r-- | 6.9 KB |
| finalise.h | -rw-r--r-- | 1.3 KB |
| fix_code.c | -rw-r--r-- | 4.9 KB |
| fix_code.h | -rw-r--r-- | 1.6 KB |
| floats.c | -rw-r--r-- | 11.0 KB |
| freelist.c | -rw-r--r-- | 16.2 KB |
| freelist.h | -rw-r--r-- | 1.3 KB |
| gc.h | -rw-r--r-- | 2.5 KB |
| gc_ctrl.c | -rw-r--r-- | 15.6 KB |
| gc_ctrl.h | -rw-r--r-- | 1.4 KB |
| globroots.c | -rw-r--r-- | 9.2 KB |
| globroots.h | -rw-r--r-- | 1.1 KB |
| hash.c | -rw-r--r-- | 4.5 KB |
| instrtrace.c | -rw-r--r-- | 7.3 KB |
| instrtrace.h | -rw-r--r-- | 1.3 KB |
| instruct.h | -rw-r--r-- | 2.5 KB |
| int64_emul.h | -rw-r--r-- | 6.0 KB |
| int64_format.h | -rw-r--r-- | 3.3 KB |
| int64_native.h | -rw-r--r-- | 2.2 KB |
| intern.c | -rw-r--r-- | 19.8 KB |
| interp.c | -rw-r--r-- | 29.5 KB |
| interp.h | -rw-r--r-- | 1.3 KB |
| intext.h | -rw-r--r-- | 6.2 KB |
| ints.c | -rw-r--r-- | 21.8 KB |
| io.c | -rw-r--r-- | 21.0 KB |
| io.h | -rw-r--r-- | 4.9 KB |
| lexing.c | -rw-r--r-- | 7.2 KB |
| main.c | -rw-r--r-- | 2.0 KB |
| major_gc.c | -rw-r--r-- | 16.4 KB |
| major_gc.h | -rw-r--r-- | 2.2 KB |
| md5.c | -rw-r--r-- | 10.2 KB |
| md5.h | -rw-r--r-- | 1.5 KB |
| memory.c | -rw-r--r-- | 16.3 KB |
| memory.h | -rw-r--r-- | 16.6 KB |
| meta.c | -rw-r--r-- | 5.0 KB |
| minor_gc.c | -rw-r--r-- | 10.0 KB |
| minor_gc.h | -rw-r--r-- | 2.1 KB |
| misc.c | -rw-r--r-- | 3.5 KB |
| misc.h | -rw-r--r-- | 3.8 KB |
| mlvalues.h | -rw-r--r-- | 10.5 KB |
| obj.c | -rw-r--r-- | 6.7 KB |
| osdeps.h | -rw-r--r-- | 3.1 KB |
| parsing.c | -rw-r--r-- | 8.8 KB |
| prims.h | -rw-r--r-- | 1.3 KB |
| printexc.c | -rw-r--r-- | 3.7 KB |
| printexc.h | -rw-r--r-- | 1.1 KB |
| reverse.h | -rw-r--r-- | 5.4 KB |
| roots.c | -rw-r--r-- | 3.2 KB |
| roots.h | -rw-r--r-- | 1.6 KB |
| signals.c | -rw-r--r-- | 7.8 KB |
| signals.h | -rw-r--r-- | 2.0 KB |
| signals_byt.c | -rw-r--r-- | 2.8 KB |
| signals_machdep.h | -rw-r--r-- | 2.0 KB |
| stacks.c | -rw-r--r-- | 3.8 KB |
| stacks.h | -rw-r--r-- | 1.5 KB |
| startup.c | -rw-r--r-- | 14.8 KB |
| startup.h | -rw-r--r-- | 1.7 KB |
| str.c | -rw-r--r-- | 4.2 KB |
| sys.c | -rw-r--r-- | 7.9 KB |
| sys.h | -rw-r--r-- | 1.2 KB |
| terminfo.c | -rw-r--r-- | 3.4 KB |
| ui.h | -rw-r--r-- | 1.2 KB |
| unix.c | -rw-r--r-- | 7.3 KB |
| weak.c | -rw-r--r-- | 5.9 KB |
| weak.h | -rw-r--r-- | 1.1 KB |
| win32.c | -rw-r--r-- | 14.7 KB |
