Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/toplevel
History
Jacques Garrigue 26e1ff7138 Merge short-paths into a fresh branch of trunk. 
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2013-01-29 14:21:12 +00:00
..
expunge.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
genprintval.ml Stop keeping a Path.t to refer to labels and constructors in the Typedtree AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway 2012-10-24 12:03:00 +00:00
genprintval.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
opttopdirs.ml Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat. 2012-12-18 17:19:53 +00:00
opttopdirs.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
opttoploop.ml Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat. 2012-12-18 17:19:53 +00:00
opttoploop.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
opttopmain.ml Merge short-paths into a fresh branch of trunk. 2013-01-29 14:21:12 +00:00
opttopmain.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
opttopstart.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
topdirs.ml PR#5825: Add a primitive to use source file wrapped in the coresponding module. 2012-11-18 16:16:50 +00:00
topdirs.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
toplevellib.mllib merge version/4.00 at revision 12866 2012-08-21 07:10:35 +00:00
toploop.ml Merge short-paths into a fresh branch of trunk. 2013-01-29 14:21:12 +00:00
toploop.mli PR#5825: Add a primitive to use source file wrapped in the coresponding module. 2012-11-18 16:16:50 +00:00
topmain.ml Merge short-paths into a fresh branch of trunk. 2013-01-29 14:21:12 +00:00
topmain.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
topstart.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
trace.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
trace.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00