| .. |
|
annot.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
btype.ml
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
btype.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
cmi_format.ml
|
merge version/4.00 at revision 12866
|
2012-08-21 07:10:35 +00:00 |
|
cmi_format.mli
|
merge version/4.00 at revision 12866
|
2012-08-21 07:10:35 +00:00 |
|
cmt_format.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
cmt_format.mli
|
merge version/4.00 at revision 12866
|
2012-08-21 07:10:35 +00:00 |
|
ctype.ml
|
Fix PR#5985 for constrained parameters too.
|
2013-05-03 13:38:30 +00:00 |
|
ctype.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
datarepr.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 |
|
datarepr.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
env.ml
|
#5980: only report shadowing against the environment before the 'open'.
|
2013-05-17 10:12:31 +00:00 |
|
env.mli
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
envaux.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
envaux.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
ident.ml
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
ident.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
includeclass.ml
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
includeclass.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
includecore.ml
|
merge changes from version/4.00 from 4.00.1 to r13697
|
2013-05-22 12:56:54 +00:00 |
|
includecore.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
includemod.ml
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
includemod.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
mtype.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
mtype.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
oprint.ml
|
Replace commly used format strings into simple calls to format functions, to improve performance of .annot file generation.
|
2012-11-07 10:50:14 +00:00 |
|
oprint.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
outcometree.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
parmatch.ml
|
Fix PR #5992
|
2013-04-25 13:32:17 +00:00 |
|
parmatch.mli
|
Fix PR #5992
|
2013-04-25 13:32:17 +00:00 |
|
path.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
path.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
predef.ml
|
Fix PR#5985 for constrained parameters too.
|
2013-05-03 13:38:30 +00:00 |
|
predef.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
primitive.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
primitive.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
printtyp.ml
|
fix bug in short-paths: must ignore position when comparing paths
|
2013-05-20 03:12:46 +00:00 |
|
printtyp.mli
|
Take ambiguity into account when using -short-paths option.
|
2013-04-30 09:05:26 +00:00 |
|
printtyped.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
printtyped.mli
|
Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.
|
2012-12-18 17:19:53 +00:00 |
|
stypes.ml
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
stypes.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
subst.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
subst.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
typeclass.ml
|
Fix PR#6004
|
2013-05-04 01:44:49 +00:00 |
|
typeclass.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
typecore.ml
|
Move back to revision r13685.
|
2013-06-03 11:12:31 +00:00 |
|
typecore.mli
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typedecl.ml
|
protect against Ctype.equal changing the representative
|
2013-05-04 10:32:06 +00:00 |
|
typedecl.mli
|
Fix PR#6005
|
2013-05-03 14:40:11 +00:00 |
|
typedtree.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typedtree.mli
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typedtreeIter.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typedtreeIter.mli
|
clean up TABs and whitespace
|
2012-07-30 18:04:46 +00:00 |
|
typedtreeMap.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typedtreeMap.mli
|
add some missing copyright headers
|
2012-08-02 08:17:59 +00:00 |
|
typemod.ml
|
#5980: explicit way to silence the new warning (open! X).
|
2013-05-16 13:34:53 +00:00 |
|
typemod.mli
|
Merge short-paths into a fresh branch of trunk.
|
2013-01-29 14:21:12 +00:00 |
|
types.ml
|
Fix PR#5985 for constrained parameters too.
|
2013-05-03 13:38:30 +00:00 |
|
types.mli
|
Fix PR#5985 for constrained parameters too.
|
2013-05-03 13:38:30 +00:00 |
|
typetexp.ml
|
extend warning 3 to other deprecated features: Latin1, (&) and (or)
|
2013-05-28 11:05:58 +00:00 |
|
typetexp.mli
|
Fix #5965.
|
2013-04-29 15:39:00 +00:00 |
38cac2d847