https://github.com/charguer/ocaml
Revision 0cf7c0578f1abdc840018947f73fe535fc4c1f24 authored by Jacques Garrigue on 10 March 2009, 04:47:04 UTC, committed by Jacques Garrigue on 10 March 2009, 04:47:04 UTC
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@9183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent 5035e81
Tip revision: 0cf7c0578f1abdc840018947f73fe535fc4c1f24 authored by Jacques Garrigue on 10 March 2009, 04:47:04 UTC
fix unsoundness in variance checking for private types
fix unsoundness in variance checking for private types
Tip revision: 0cf7c05
| File | Mode | Size |
|---|---|---|
| asmcomp | ||
| asmrun | ||
| boot | ||
| build | ||
| bytecomp | ||
| byterun | ||
| camlp4 | ||
| config | ||
| debugger | ||
| driver | ||
| emacs | ||
| lex | ||
| man | ||
| ocamlbuild | ||
| ocamldoc | ||
| otherlibs | ||
| parsing | ||
| stdlib | ||
| test | ||
| testasmcomp | ||
| testlabl | ||
| testobjects | ||
| tools | ||
| toplevel | ||
| typing | ||
| utils | ||
| win32caml | ||
| yacc | ||
| .cvsignore | -rw-r--r-- | 202 bytes |
| .depend | -rw-r--r-- | 49.1 KB |
| Changes | -rw-r--r-- | 92.6 KB |
| INSTALL | -rw-r--r-- | 11.6 KB |
| LICENSE | -rw-r--r-- | 31.3 KB |
| Makefile | -rw-r--r-- | 20.3 KB |
| Makefile.nt | -rw-r--r-- | 18.1 KB |
| README | -rw-r--r-- | 5.1 KB |
| README.win32 | -rw-r--r-- | 12.7 KB |
| Upgrading | -rw-r--r-- | 4.5 KB |
| VERSION | -rw-r--r-- | 142 bytes |
| _tags | -rw-r--r-- | 3.1 KB |
| configure | -rwxr-xr-x | 48.0 KB |
| myocamlbuild.ml | -rw-r--r-- | 42.4 KB |
| myocamlbuild_config.mli | -rw-r--r-- | 1.5 KB |
Computing file changes ...
