| .. |
|
HACKING.adoc
|
HACKING.adoc: plenty of changes suggested by David Allsopp's review
|
2016-11-23 07:13:46 -05:00 |
|
annot.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
btype.ml
|
Allow more module aliases in strengthening
|
2016-07-28 10:13:32 +01:00 |
|
btype.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
cmi_format.ml
|
Record the safe/unsafe_string mode in .cmi files.
|
2016-07-19 14:28:52 +02:00 |
|
cmi_format.mli
|
Record the safe/unsafe_string mode in .cmi files.
|
2016-07-19 14:28:52 +02:00 |
|
cmt_format.ml
|
Avoid rebuilding cmi_info record when creating .cmti files (#781)
|
2016-08-30 13:11:01 +02:00 |
|
cmt_format.mli
|
Avoid rebuilding cmi_info record when creating .cmti files (#781)
|
2016-08-30 13:11:01 +02:00 |
|
ctype.ml
|
Fix PR#7432
|
2016-12-17 10:36:56 +09:00 |
|
ctype.mli
|
Fix PR#7269 again, cancelling previous fix
|
2016-06-03 16:50:28 +09:00 |
|
datarepr.ml
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
datarepr.mli
|
GPR#606: add unboxed types
|
2016-07-21 13:51:46 +02:00 |
|
env.ml
|
Variant of #813 (Support normalisation of paths for unknown types) (#816)
|
2016-12-14 13:14:21 +00:00 |
|
env.mli
|
Fix PR#7134, following a suggestion of sliquister
|
2016-12-14 13:14:21 +00:00 |
|
envaux.ml
|
Detect unused module declarations.
|
2016-07-18 10:35:19 +02:00 |
|
envaux.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ident.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ident.mli
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
includeclass.ml
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
includeclass.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
includecore.ml
|
add comment
|
2016-12-14 13:14:21 +00:00 |
|
includecore.mli
|
GPR#606: add unboxed types
|
2016-07-21 13:51:46 +02:00 |
|
includemod.ml
|
Add label to bool parameter
|
2016-07-28 10:13:32 +01:00 |
|
includemod.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
mtype.ml
|
Fix MPR#7414 (#929)
|
2016-11-21 22:19:44 +09:00 |
|
mtype.mli
|
Fix MPR#7414 (#929)
|
2016-11-21 22:19:44 +09:00 |
|
oprint.ml
|
fix a problem where short-paths is not working for some polymorphic variant types
|
2017-01-02 14:52:24 -05:00 |
|
oprint.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
outcometree.mli
|
fix a problem where short-paths is not working for some polymorphic variant types
|
2017-01-02 14:52:24 -05:00 |
|
parmatch.ml
|
handle PR7451
|
2017-01-05 11:26:22 +01:00 |
|
parmatch.mli
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
path.ml
|
add Path.compare
|
2016-05-09 09:35:05 -04:00 |
|
path.mli
|
add Path.compare
|
2016-05-09 09:35:05 -04:00 |
|
predef.ml
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
predef.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
primitive.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
primitive.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
printtyp.ml
|
fix a problem where short-paths is not working for some polymorphic variant types
|
2017-01-02 14:52:24 -05:00 |
|
printtyp.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
printtyped.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
printtyped.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
stypes.ml
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
stypes.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
subst.ml
|
Fix PR#7298
|
2016-12-14 13:14:21 +00:00 |
|
subst.mli
|
Fix MPR#7414 (#929)
|
2016-11-21 22:19:44 +09:00 |
|
tast_mapper.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
tast_mapper.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
typeclass.ml
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
typeclass.mli
|
MPR#7237 change 12-tuples in typeclass into record.
|
2016-04-29 19:22:34 -07:00 |
|
typecore.ml
|
MPR#7443: pattern open, false unused open warning
|
2016-12-28 22:15:07 +01:00 |
|
typecore.mli
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
typedecl.ml
|
Fix PR#7437
|
2016-12-26 16:55:43 +09:00 |
|
typedecl.mli
|
GPR#606: add unboxed types
|
2016-07-21 13:51:46 +02:00 |
|
typedtree.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
typedtree.mli
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
typedtreeIter.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
typedtreeIter.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
typedtreeMap.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
typedtreeMap.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
typemod.ml
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
typemod.mli
|
Avoid rebuilding cmi_info record when creating .cmti files (#781)
|
2016-08-30 13:11:01 +02:00 |
|
types.ml
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
types.mli
|
fix discrepancy between the executables generated by
|
2016-12-14 13:14:21 +00:00 |
|
typetexp.ml
|
Add missing locations in the parsetree (#749)
|
2016-08-29 16:21:38 +02:00 |
|
typetexp.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
untypeast.ml
|
Annotate Texp_function with an Ident.t for the parameter (#831)
|
2016-10-14 09:34:50 +01:00 |
|
untypeast.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
cc6ed31005