.. |
HACKING.adoc
|
…
|
|
TODO.md
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
annot.mli
|
…
|
|
btype.ml
|
…
|
|
btype.mli
|
…
|
|
cmt2annot.ml
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
ctype.ml
|
Merge pull request #8934 from trefis/usage
|
2020-03-06 16:49:44 +01:00 |
ctype.mli
|
Relax the handling of explicit polymorphic types
|
2020-01-20 13:48:16 +00:00 |
datarepr.ml
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
datarepr.mli
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
env.ml
|
add forgotten word in comment
|
2020-03-05 14:54:21 +01:00 |
env.mli
|
use uid for usage warnings
|
2020-03-05 13:35:12 +01:00 |
envaux.ml
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
envaux.mli
|
…
|
|
ident.ml
|
Avoid polymorphic compare in Ident
|
2020-03-04 14:41:42 +00:00 |
ident.mli
|
…
|
|
includeclass.ml
|
…
|
|
includeclass.mli
|
…
|
|
includecore.ml
|
use uid for usage warnings
|
2020-03-05 13:35:12 +01:00 |
includecore.mli
|
…
|
|
includemod.ml
|
use uid for usage warnings
|
2020-03-05 13:35:12 +01:00 |
includemod.mli
|
Short circuit simple inclusion checks
|
2020-03-04 15:20:32 +00:00 |
mtype.ml
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
mtype.mli
|
…
|
|
oprint.ml
|
…
|
|
oprint.mli
|
…
|
|
outcometree.mli
|
…
|
|
parmatch.ml
|
Annotated Asttypes.constant's string with content location.
|
2019-11-13 16:08:40 +01:00 |
parmatch.mli
|
parmatch: export Pattern_head
|
2020-03-10 12:08:39 +01:00 |
path.ml
|
…
|
|
path.mli
|
review
|
2020-01-29 10:00:15 +01:00 |
persistent_env.ml
|
Merge pull request #9219 from kit-ty-kate/extra-space-error
|
2020-01-01 18:42:44 +01:00 |
persistent_env.mli
|
…
|
|
predef.ml
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
predef.mli
|
…
|
|
primitive.ml
|
Merge pull request #9212 from kit-ty-kate/fix-dynlink
|
2020-01-09 15:28:38 +01:00 |
primitive.mli
|
…
|
|
printpat.ml
|
Annotated Asttypes.constant's string with content location.
|
2019-11-13 16:08:40 +01:00 |
printpat.mli
|
…
|
|
printtyp.ml
|
Merge pull request #8934 from trefis/usage
|
2020-03-06 16:49:44 +01:00 |
printtyp.mli
|
Apply short-paths to an additional case
|
2020-03-05 09:44:18 +00:00 |
printtyped.ml
|
-dno-locations: hide source locations (and debug events) from IR dumps
|
2020-01-09 15:25:16 +01:00 |
printtyped.mli
|
…
|
|
rec_check.ml
|
Fix Rec_check for let module _ = ..
|
2020-01-24 14:17:42 +01:00 |
rec_check.mli
|
…
|
|
stypes.ml
|
…
|
|
stypes.mli
|
…
|
|
subst.ml
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
subst.mli
|
Short circuit simple inclusion checks
|
2020-03-04 15:20:32 +00:00 |
tast_iterator.ml
|
…
|
|
tast_iterator.mli
|
…
|
|
tast_mapper.ml
|
…
|
|
tast_mapper.mli
|
…
|
|
type_immediacy.ml
|
…
|
|
type_immediacy.mli
|
…
|
|
typeclass.ml
|
[Refactor]: Typing/typeclass.ml
|
2020-03-24 04:33:45 +05:30 |
typeclass.mli
|
…
|
|
typecore.ml
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
typecore.mli
|
add an Empty_branch exception
|
2020-02-19 10:37:06 +01:00 |
typedecl.ml
|
use uid for usage warnings
|
2020-03-05 13:35:12 +01:00 |
typedecl.mli
|
typedecl: use the new Separability implementation, remove old code
|
2020-01-28 12:09:33 +01:00 |
typedecl_immediacy.ml
|
…
|
|
typedecl_immediacy.mli
|
…
|
|
typedecl_properties.ml
|
…
|
|
typedecl_properties.mli
|
…
|
|
typedecl_separability.ml
|
typedecl_separability: handle GADT equations in a more predictable order
|
2020-01-28 13:56:23 +01:00 |
typedecl_separability.mli
|
changes from review comments
|
2020-01-28 13:56:23 +01:00 |
typedecl_unboxed.ml
|
…
|
|
typedecl_unboxed.mli
|
…
|
|
typedecl_variance.ml
|
…
|
|
typedecl_variance.mli
|
…
|
|
typedtree.ml
|
typedtree: make the pat_desc field of patterns immutable
|
2019-11-07 14:41:59 +01:00 |
typedtree.mli
|
typedtree.mli: un-open Types
|
2020-03-05 13:34:12 +01:00 |
typemod.ml
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
typemod.mli
|
…
|
|
typeopt.ml
|
…
|
|
typeopt.mli
|
…
|
|
types.ml
|
Uid.reinit
|
2020-03-05 14:20:04 +01:00 |
types.mli
|
Uid.reinit
|
2020-03-05 14:20:04 +01:00 |
typetexp.ml
|
Merge pull request #9185 from hhugo/fix-unused-open
|
2020-01-10 09:49:02 +01:00 |
typetexp.mli
|
…
|
|
untypeast.ml
|
Annotated Asttypes.constant's string with content location.
|
2019-11-13 16:08:40 +01:00 |
untypeast.mli
|
…
|
|