| .. |
|
HACKING.adoc
|
Remove non-ASCII characters
|
2017-10-25 23:54:39 +01:00 |
|
annot.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
btype.ml
|
log scope updates so we can backtrack them
|
2018-02-27 14:52:25 +00:00 |
|
btype.mli
|
log scope updates so we can backtrack them
|
2018-02-27 14:52:25 +00: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
|
honor the BUILD_PATH_PREFIX_MAP variable if it exists:
|
2018-03-01 17:54:16 +01:00 |
|
cmt_format.mli
|
Avoid rebuilding cmi_info record when creating .cmti files (#781)
|
2016-08-30 13:11:01 +02:00 |
|
ctype.ml
|
do not close objects which have been unified with an outer self type
|
2018-03-06 10:01:52 +00:00 |
|
ctype.mli
|
check that no ambiguous pattern type escapes its scope earlier on.
|
2018-02-27 14:52:25 +00:00 |
|
datarepr.ml
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
datarepr.mli
|
Fix GPR#1204 (#1329)
|
2017-09-16 18:51:32 +09:00 |
|
env.ml
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
env.mli
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
envaux.ml
|
Allow compilation units to shadow sub-modules of Pervasives (#1513)
|
2018-02-02 10:44:23 +00:00 |
|
envaux.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ident.ml
|
Add the -dunique-ids and -dno-unique-ids options to the compilers
|
2018-02-20 18:02:35 +01:00 |
|
ident.mli
|
Starting to switch to a layered representation of 'opens'.
|
2017-03-24 14:24:36 +01:00 |
|
includeclass.ml
|
Remove blank line to improve readability.
|
2017-05-15 16:20:18 +02:00 |
|
includeclass.mli
|
Class declarations create a class type declaration in signature: no need to check twice.
|
2017-05-09 14:15:54 +02:00 |
|
includecore.ml
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
includecore.mli
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
includemod.ml
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
includemod.mli
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
mtype.ml
|
we don't need an env to take instances anymore
|
2018-02-27 14:52:24 +00:00 |
|
mtype.mli
|
enrich_typedecl: don't enrich incompatible decls
|
2018-02-08 10:23:04 +00:00 |
|
oprint.ml
|
Support empty variants (#1546)
|
2018-03-06 10:48:16 +09:00 |
|
oprint.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
outcometree.mli
|
Strip big strings in toplevel (#1058)
|
2017-05-11 13:57:08 +02:00 |
|
parmatch.ml
|
Support empty variants (#1546)
|
2018-03-06 10:48:16 +09:00 |
|
parmatch.mli
|
Support empty variants (#1546)
|
2018-03-06 10:48:16 +09:00 |
|
path.ml
|
Support syntax: S with M.N.t := ...
|
2017-08-01 07:32:08 -04:00 |
|
path.mli
|
Support syntax: S with M.N.t := ...
|
2017-08-01 07:32:08 -04:00 |
|
predef.ml
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
predef.mli
|
add `floatarray` type and primitives to prepare for -no-flat-float-array option
|
2017-09-15 18:24:36 +02:00 |
|
primitive.ml
|
Deprecation warning when checking signature inclusion
|
2017-04-05 19:13:59 +02:00 |
|
primitive.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
printpat.ml
|
printpat: take formatter
|
2017-12-04 12:11:21 +00:00 |
|
printpat.mli
|
printpat: take formatter
|
2017-12-04 12:11:21 +00:00 |
|
printtyp.ml
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
printtyp.mli
|
Prefix the compilation unit names of all modules in the stdlib
|
2018-02-12 08:29:16 +00:00 |
|
printtyped.ml
|
Merge pull request #1365 from yallop/let-rec-patch-406
|
2017-09-22 15:37:10 +09:00 |
|
printtyped.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
stypes.ml
|
Create .cmi files atomically (MPR#7472) (#1307)
|
2017-09-06 20:01:15 +02:00 |
|
stypes.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
subst.ml
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
subst.mli
|
Merge pull request #792 from sliquister/generalize-destr-subst2
|
2017-09-15 09:29:29 +01:00 |
|
tast_mapper.ml
|
merge trunk and update test
|
2017-07-23 09:31:58 +08:00 |
|
tast_mapper.mli
|
PR#7363: start documentation headers at {1
|
2017-10-04 13:05:05 +02:00 |
|
typeclass.ml
|
do not close objects which have been unified with an outer self type
|
2018-03-06 10:01:52 +00:00 |
|
typeclass.mli
|
do not close objects which have been unified with an outer self type
|
2018-03-06 10:01:52 +00:00 |
|
typecore.ml
|
do not spuriously warn
|
2018-03-15 13:05:26 +00:00 |
|
typecore.mli
|
straightforward GADT disambiguation
|
2018-03-12 14:55:42 +00:00 |
|
typedecl.ml
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
typedecl.mli
|
Add private extensible variants
|
2017-09-11 13:29:56 +01:00 |
|
typedtree.ml
|
Typos and basic grammar error fixing (#1280)
|
2017-08-10 11:59:23 +01:00 |
|
typedtree.mli
|
PR#7363: start documentation headers at {1
|
2017-10-04 13:05:05 +02:00 |
|
typedtreeIter.ml
|
merge trunk and update test
|
2017-07-23 09:31:58 +08:00 |
|
typedtreeIter.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
typedtreeMap.ml
|
merge trunk and update test
|
2017-07-23 09:31:58 +08:00 |
|
typedtreeMap.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
typemod.ml
|
Fix usage warnings with no mli file (#1358)
|
2018-03-14 17:57:31 +01:00 |
|
typemod.mli
|
Prefix the compilation unit names of all modules in the stdlib
|
2018-02-12 08:29:16 +00:00 |
|
typeopt.ml
|
Merge pull request #1365 from yallop/let-rec-patch-406
|
2017-09-22 15:37:10 +09:00 |
|
typeopt.mli
|
Merge pull request #1365 from yallop/let-rec-patch-406
|
2017-09-22 15:37:10 +09:00 |
|
types.ml
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
types.mli
|
slight representation change
|
2018-02-27 14:52:24 +00:00 |
|
typetexp.ml
|
we don't need an env to take instances anymore
|
2018-02-27 14:52:24 +00:00 |
|
typetexp.mli
|
report nice errors for applicative functors in all cases
|
2017-12-12 23:51:50 -05:00 |
|
untypeast.ml
|
Merge pull request #792 from sliquister/generalize-destr-subst2
|
2017-09-15 09:29:29 +01:00 |
|
untypeast.mli
|
Support inherited field in object type expression.
|
2017-03-22 21:47:34 -07:00 |
b7101be913