| .. |
|
HACKING.adoc
|
Remove non-ASCII characters
|
2017-10-25 23:54:39 +01:00 |
|
TODO.md
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
|
annot.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
btype.ml
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
btype.mli
|
extract_label: return an option instead of raising
|
2020-04-18 11:01:52 +02:00 |
|
cmt2annot.ml
|
Deprecate -annot (#2141)
|
2020-03-13 12:59:34 +01:00 |
|
ctype.ml
|
Try expanding aliases in Ctype.nondep_type_rec (#10005)
|
2020-11-17 11:10:59 +00:00 |
|
ctype.mli
|
type_cases: rely on levels to enforce principality (#1931)
|
2020-07-08 10:35:40 +02:00 |
|
datarepr.ml
|
Mark datatypes as injective in recursive module approximations (#10029)
|
2020-11-20 16:29:23 +09:00 |
|
datarepr.mli
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
|
env.ml
|
Fix reproducibility for `-no-alias-deps`
|
2020-11-22 13:44:28 +00:00 |
|
env.mli
|
Env.folds (#9922)
|
2020-09-17 09:54:21 +02:00 |
|
envaux.ml
|
Fix PR#7897
|
2020-06-26 12:35:35 +01:00 |
|
envaux.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ident.ml
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
ident.mli
|
s/@raises/@raise
|
2020-06-03 10:25:25 +01:00 |
|
includeclass.ml
|
Pack error messages to boxes
|
2019-08-14 22:51:35 +03: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
|
use uid for usage warnings
|
2020-03-05 13:35:12 +01:00 |
|
includecore.mli
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
includemod.ml
|
Make the `mark` parameters in `Includemod` non-optional
|
2020-06-25 11:35:00 +01:00 |
|
includemod.mli
|
Make the `mark` parameters in `Includemod` non-optional
|
2020-06-25 11:35:00 +01:00 |
|
mtype.ml
|
Ensure Mtype.nondep_sig checks use the correct environment (#9946)
|
2020-10-19 10:40:25 +01:00 |
|
mtype.mli
|
Mtype.freshen: take an explicit scope
|
2019-04-16 10:56:05 +01:00 |
|
oprint.ml
|
Add injectivity annotations (#9500)
|
2020-06-15 13:51:50 +02:00 |
|
oprint.mli
|
Printing additional info about types mismatch during compilation error.
|
2019-07-30 09:51:02 +01:00 |
|
outcometree.mli
|
Add injectivity annotations (#9500)
|
2020-06-15 13:51:50 +02:00 |
|
parmatch.ml
|
Rename Unused_subpat => Redundant_subpat
|
2020-07-20 08:31:18 +02:00 |
|
parmatch.mli
|
Matching: propagate constructor descriptions in complete_pats_constrs
|
2020-05-26 15:47:41 +02:00 |
|
path.ml
|
Fix wrong calls to Env.normalize_path on non-module paths (#2131)
|
2018-11-22 16:07:15 +01:00 |
|
path.mli
|
review
|
2020-01-29 10:00:15 +01:00 |
|
patterns.ml
|
fixup! matching: use pattern views in Parmatch as well
|
2020-05-21 09:51:30 +02:00 |
|
patterns.mli
|
s/@raises/@raise
|
2020-06-03 10:25:25 +01:00 |
|
persistent_env.ml
|
Avoid warning 58 in flambda ocamlnat
|
2020-06-25 14:45:45 +01:00 |
|
persistent_env.mli
|
Avoid warning 58 in flambda ocamlnat
|
2020-06-25 14:45:45 +01:00 |
|
predef.ml
|
Add a unique id to every signature item
|
2020-03-05 13:34:12 +01:00 |
|
predef.mli
|
Refactor environment lookup functions
|
2019-08-15 15:56:50 +01:00 |
|
primitive.ml
|
Merge pull request #9212 from kit-ty-kate/fix-dynlink
|
2020-01-09 15:28:38 +01:00 |
|
primitive.mli
|
Move some code from Asmgen to the middle end directory etc. (#2288)
|
2019-05-10 15:11:22 +02:00 |
|
printpat.ml
|
Annotated Asttypes.constant's string with content location.
|
2019-11-13 16:08:40 +01:00 |
|
printpat.mli
|
split patterns into "value patterns" and "computation patterns"
|
2019-10-31 13:29:16 +01:00 |
|
printtyp.ml
|
review
|
2020-09-08 17:24:46 +02:00 |
|
printtyp.mli
|
Apply short-paths to an additional case
|
2020-03-05 09:44:18 +00:00 |
|
printtyped.ml
|
Fix linting errors
|
2020-11-06 09:20:45 +01:00 |
|
printtyped.mli
|
Fix linting errors
|
2020-11-06 09:20:45 +01:00 |
|
rec_check.ml
|
Fix Rec_check for let module _ = ..
|
2020-01-24 14:17:42 +01:00 |
|
rec_check.mli
|
update to PR#1768: set proper header on rec_check.ml*
|
2018-06-04 16:44:02 +02:00 |
|
stypes.ml
|
split patterns into "value patterns" and "computation patterns"
|
2019-10-31 13:29:16 +01:00 |
|
stypes.mli
|
split patterns into "value patterns" and "computation patterns"
|
2019-10-31 13:29:16 +01:00 |
|
subst.ml
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
subst.mli
|
Short circuit simple inclusion checks
|
2020-03-04 15:20:32 +00:00 |
|
tast_iterator.ml
|
typedtree: make the Tpat_value argument a private synonym
|
2019-10-31 13:29:28 +01:00 |
|
tast_iterator.mli
|
split patterns into "value patterns" and "computation patterns"
|
2019-10-31 13:29:16 +01:00 |
|
tast_mapper.ml
|
typedtree: make the Tpat_value argument a private synonym
|
2019-10-31 13:29:28 +01:00 |
|
tast_mapper.mli
|
split patterns into "value patterns" and "computation patterns"
|
2019-10-31 13:29:16 +01:00 |
|
type_immediacy.ml
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
type_immediacy.mli
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
typeclass.ml
|
Mark datatypes as injective in recursive module approximations (#10029)
|
2020-11-20 16:29:23 +09:00 |
|
typeclass.mli
|
Extend `open` to arbritrary module expressions in structures and to
|
2018-11-26 16:20:37 +00:00 |
|
typecore.ml
|
must use set_state rather than backtrack in Typecore.type_cases
|
2020-11-05 11:12:01 +09:00 |
|
typecore.mli
|
Remove dead code (#9974)
|
2020-10-13 09:48:16 +02:00 |
|
typedecl.ml
|
typing: fix the scope of extension constructor declarations
|
2020-11-23 14:30:59 +01:00 |
|
typedecl.mli
|
Mark datatypes as injective in recursive module approximations (#10029)
|
2020-11-20 16:29:23 +09:00 |
|
typedecl_immediacy.ml
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
typedecl_immediacy.mli
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
typedecl_properties.ml
|
Typedecl: split abstract properties to a separate unit Typedecl_properties
|
2018-11-23 12:03:11 +01:00 |
|
typedecl_properties.mli
|
Added missing headers in [typing/typedecl_*.mli].
|
2018-11-24 00:06:26 +01:00 |
|
typedecl_separability.ml
|
compute the same separability signatures in either "(no) flat float" modes
|
2020-06-01 12:19:08 +02:00 |
|
typedecl_separability.mli
|
changes from review comments
|
2020-01-28 13:56:23 +01:00 |
|
typedecl_unboxed.ml
|
Add support for [@@immediate64]
|
2019-09-24 07:56:15 +01:00 |
|
typedecl_unboxed.mli
|
Add header to typedecl_unboxed.mli
|
2019-09-24 10:24:46 +01:00 |
|
typedecl_variance.ml
|
Fix #9721: Injectivity and recursive modules (#9727)
|
2020-07-07 09:04:23 +02:00 |
|
typedecl_variance.mli
|
Add injectivity annotations (#9500)
|
2020-06-15 13:51:50 +02:00 |
|
typedtree.ml
|
Rename Typedtree.t to Typedtree.implementation
|
2020-11-05 21:19:44 +01:00 |
|
typedtree.mli
|
Fix typo checks
|
2020-11-06 23:49:19 +01:00 |
|
typemod.ml
|
Merge pull request #10007 from AbstractMachinesLab/return-signature-when-typing
|
2020-11-22 15:21:10 +01:00 |
|
typemod.mli
|
Rename Typedtree.t to Typedtree.implementation
|
2020-11-05 21:19:44 +01:00 |
|
typeopt.ml
|
Keep more type information in Lambda (#2156)
|
2018-11-23 15:34:05 +01:00 |
|
typeopt.mli
|
Keep more type information in Lambda (#2156)
|
2018-11-23 15:34:05 +01:00 |
|
types.ml
|
Mark datatypes as injective in recursive module approximations (#10029)
|
2020-11-20 16:29:23 +09:00 |
|
types.mli
|
Mark datatypes as injective in recursive module approximations (#10029)
|
2020-11-20 16:29:23 +09:00 |
|
typetexp.ml
|
typos (#9806)
|
2020-07-28 12:22:03 +01:00 |
|
typetexp.mli
|
pattern aliases do not ignore type constraints (#1655)
|
2020-07-09 12:20:37 +02:00 |
|
untypeast.ml
|
Move typed_impl to Typedtree.t
|
2020-11-05 19:06:12 +01:00 |
|
untypeast.mli
|
Untypeast: define untype_expression, untype_pattern (#9920)
|
2020-09-16 20:49:05 +02:00 |
f794d799ad