| .. |
|
HACKING.adoc
|
Remove non-ASCII characters
|
2017-10-25 23:54:39 +01:00 |
|
TODO.md
|
Remove unnecessary executable bit from sources (#2270)
|
2019-02-28 16:29:26 +01:00 |
|
annot.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
btype.ml
|
enforce that every call to save_desc is necessarily followed by cleanup_types (#2261)
|
2019-02-25 09:48:50 +00:00 |
|
btype.mli
|
enforce that every call to save_desc is necessarily followed by cleanup_types (#2261)
|
2019-02-25 09:48:50 +00:00 |
|
cmi_format.ml
|
refactoring: use Misc type aliases in typing/cmi_format
|
2019-01-30 22:37:13 +01:00 |
|
cmi_format.mli
|
refactoring: use Misc type aliases in typing/cmi_format
|
2019-01-30 22:37:13 +01:00 |
|
cmt_format.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
cmt_format.mli
|
refactoring: use Misc type aliases in typing/cmt_format
|
2019-01-30 22:37:13 +01:00 |
|
ctype.ml
|
Add the explain function to Ctype.Unification_trace
|
2019-03-08 16:37:49 +01:00 |
|
ctype.mli
|
Add the explain function to Ctype.Unification_trace
|
2019-03-08 16:37:49 +01:00 |
|
datarepr.ml
|
Remove positions from paths
|
2018-11-21 03:39:34 -05:00 |
|
datarepr.mli
|
Fix GPR#1204 (#1329)
|
2017-09-16 18:51:32 +09:00 |
|
env.ml
|
fix dune build
|
2019-02-20 22:40:58 +01:00 |
|
env.mli
|
Functorize Consistbl (with some background info on Compilation_unit.t) (#2286)
|
2019-03-07 16:19:51 +00:00 |
|
envaux.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
envaux.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
ident.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
ident.mli
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
includeclass.ml
|
"Alerts" as a generalization of "deprecated" (#1804)
|
2018-11-15 09:51:35 +01: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
|
"Alerts" as a generalization of "deprecated" (#1804)
|
2018-11-15 09:51:35 +01:00 |
|
includecore.mli
|
more precise extension mismatch error messages
|
2018-08-09 10:18:54 +01:00 |
|
includemod.ml
|
Improved error message for illegal permutations (#8546)
|
2019-03-27 19:04:24 +01:00 |
|
includemod.mli
|
Improved error message for illegal permutations (#8546)
|
2019-03-27 19:04:24 +01:00 |
|
mtype.ml
|
Extend `open` to arbritrary module expressions in structures and to
|
2018-11-26 16:20:37 +00:00 |
|
mtype.mli
|
Fix MPR#7818 by removing local aliases in functor argument types (#2051)
|
2018-09-21 15:09:27 +09:00 |
|
oprint.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
oprint.mli
|
Printtyp: minor refactoring of Path.t printing functions (#1988)
|
2018-08-14 15:32:05 +02:00 |
|
outcometree.mli
|
PR#6416 et al.: injective mapping between identifiers and printed names (#1120)
|
2018-06-26 22:03:45 +02:00 |
|
parmatch.ml
|
Added copyright to tast_iterator.ml
|
2019-03-25 13:50:11 -07:00 |
|
parmatch.mli
|
Deprecate Pervasives (#1605)
|
2018-08-27 12:42:14 +01: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
|
Remove positions from paths
|
2018-11-21 03:39:34 -05:00 |
|
persistent_env.ml
|
Functorize Consistbl (with some background info on Compilation_unit.t) (#2286)
|
2019-03-07 16:19:51 +00:00 |
|
persistent_env.mli
|
Expose Persistent_env.Error and catch it from the debugger
|
2019-03-25 16:04:52 +01:00 |
|
predef.ml
|
always associate a scope to a type (previously it was optional)
|
2018-10-05 10:51:26 +01: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
|
Location: significantly rework the code printing errors and warnings
|
2018-08-08 17:42:08 +02:00 |
|
primitive.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
printpat.ml
|
allow exceptions under or-patterns
|
2018-07-16 10:41:55 +01:00 |
|
printpat.mli
|
printpat: take formatter
|
2017-12-04 12:11:21 +00:00 |
|
printtyp.ml
|
Add the explain function to Ctype.Unification_trace
|
2019-03-08 16:37:49 +01:00 |
|
printtyp.mli
|
a type for unification traces
|
2018-10-17 17:27:16 +02:00 |
|
printtyped.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
printtyped.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
rec_check.ml
|
value letrec: fix a bug in analysis of inner mutually-recursive bindings
|
2019-03-01 12:48:26 +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
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
stypes.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
subst.ml
|
enforce that every call to save_desc is necessarily followed by cleanup_types (#2261)
|
2019-02-25 09:48:50 +00:00 |
|
subst.mli
|
enforce that every call to save_desc is necessarily followed by cleanup_types (#2261)
|
2019-02-25 09:48:50 +00:00 |
|
tast_iterator.ml
|
Update typing/tast_iterator.ml
|
2019-03-27 14:24:22 -07:00 |
|
tast_iterator.mli
|
Fixed copyright name and year
|
2019-03-26 14:38:02 -07:00 |
|
tast_mapper.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
tast_mapper.mli
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
typeclass.ml
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
|
typeclass.mli
|
Extend `open` to arbritrary module expressions in structures and to
|
2018-11-26 16:20:37 +00:00 |
|
typecore.ml
|
type_let: update some comment as suggested during review
|
2019-03-26 11:16:25 +08:00 |
|
typecore.mli
|
Add hint on numeric operator type clash
|
2019-03-11 01:58:52 +01:00 |
|
typedecl.ml
|
Typedecl: split immediacy to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl.mli
|
Typedecl: split immediacy to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl_immediacy.ml
|
Typedecl: split immediacy to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl_immediacy.mli
|
Added missing headers in [typing/typedecl_*.mli].
|
2018-11-24 00:06:26 +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_unboxed.ml
|
Typedecl: split immediacy to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl_unboxed.mli
|
Typedecl: split immediacy to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl_variance.ml
|
Typedecl: split variance to a separate unit Typedecl_variance
|
2018-11-23 12:05:33 +01:00 |
|
typedecl_variance.mli
|
Added missing headers in [typing/typedecl_*.mli].
|
2018-11-24 00:06:26 +01:00 |
|
typedtree.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
typedtree.mli
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
typemod.ml
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +01:00 |
|
typemod.mli
|
Remove support for compiler plugins (#2276)
|
2019-03-13 11:46:37 +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
|
Extend `open` to arbritrary module expressions in structures and to
|
2018-11-26 16:20:37 +00:00 |
|
types.mli
|
Extend `open` to arbritrary module expressions in structures and to
|
2018-11-26 16:20:37 +00:00 |
|
typetexp.ml
|
Use newtype names as the underlying variable names (#2277)
|
2019-03-26 08:22:21 +09:00 |
|
typetexp.mli
|
Use newtype names as the underlying variable names (#2277)
|
2019-03-26 08:22:21 +09:00 |
|
untypeast.ml
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
|
untypeast.mli
|
Add support for "let" operators
|
2018-11-27 13:30:55 +00:00 |
e07213c768