| .. |
|
annot.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
btype.ml
|
PR#6542: solve new performance problems du to path compression and copy
|
2015-12-08 19:45:42 +09:00 |
|
btype.mli
|
Do path compression, and undo it in case of unification error
|
2015-11-16 22:51:01 +09:00 |
|
cmi_format.ml
|
Add warning for missing .cmx files
|
2015-12-26 08:29:47 +00:00 |
|
cmi_format.mli
|
Add warning for missing .cmx files
|
2015-12-26 08:29:47 +00:00 |
|
cmt_format.ml
|
Add warning for missing .cmx files
|
2015-12-26 08:29:47 +00:00 |
|
cmt_format.mli
|
re-commit Leo's weak-dependencies pull request
|
2014-05-07 00:34:20 +00:00 |
|
ctype.ml
|
PR#6762: improve warning 45 (shadowing caused by open) for labels/constructors in presence of re-exported type definitions.
|
2015-12-01 09:30:41 +01:00 |
|
ctype.mli
|
Fix PR#6980 and remove unused Ctype.iterative_generalization
|
2015-11-30 13:49:30 +09:00 |
|
datarepr.ml
|
add comment for Tobject in Datarepr.free_vars
|
2014-12-16 01:48:09 +00:00 |
|
datarepr.mli
|
Stop propagating manifest on inlined record types created by rebinding of extension constructors.
|
2014-10-07 13:57:19 +00:00 |
|
env.ml
|
Fix #7115: shadowing in a branch of a GADT match breaks unused variable warning.
|
2016-01-05 11:19:10 +01:00 |
|
env.mli
|
Fix #7115: shadowing in a branch of a GADT match breaks unused variable warning.
|
2016-01-05 11:19:10 +01:00 |
|
envaux.ml
|
merge changes of version/4.02 from r15121 to r15155
|
2014-08-29 17:14:00 +00:00 |
|
envaux.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
ident.ml
|
minor: add Ident.compare to call Set.Make(Ident) directly
|
2015-12-14 15:20:10 +01:00 |
|
ident.mli
|
minor: add Ident.compare to call Set.Make(Ident) directly
|
2015-12-14 15:20:10 +01:00 |
|
includeclass.ml
|
Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow.
|
2013-04-16 08:59:09 +00:00 |
|
includeclass.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
includecore.ml
|
#6342: fix error message when constraints differ in type declarations.
|
2015-12-03 00:06:18 +01:00 |
|
includecore.mli
|
Sync with trunk. Rebinding of inlined extension constructors with free variables is not yet supported.
|
2014-08-07 16:07:55 +00:00 |
|
includemod.ml
|
#6688: allow val declarations as structure items.
|
2014-12-10 13:37:50 +00:00 |
|
includemod.mli
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
mtype.ml
|
minor: add Ident.compare to call Set.Make(Ident) directly
|
2015-12-14 15:20:10 +01:00 |
|
mtype.mli
|
Fix PR#6307
|
2014-03-10 02:54:02 +00:00 |
|
oprint.ml
|
GPR#42: Add simpler functor type syntax
|
2015-10-25 16:24:47 +00:00 |
|
oprint.mli
|
PR#5584: merge open extensible types, extension-patch-4.0.2
|
2014-05-04 23:08:45 +00:00 |
|
outcometree.mli
|
Update printing of externals
|
2015-10-06 10:58:25 +00:00 |
|
parmatch.ml
|
PR#7031 Oups, bug in merged code: union changed into intersection.
|
2015-12-15 16:39:00 +01:00 |
|
parmatch.mli
|
PR#7031 ambiguous guarded or-pattern.
|
2015-12-14 15:58:02 +01:00 |
|
path.ml
|
minor: add Path.heads: find all Ident.t free in a Path.t
|
2015-12-14 15:58:12 +01:00 |
|
path.mli
|
minor: add Path.heads: find all Ident.t free in a Path.t
|
2015-12-14 15:58:12 +01:00 |
|
predef.ml
|
Add the predefined type extension_constructor
|
2015-11-27 17:52:33 +00:00 |
|
predef.mli
|
Add the predefined type extension_constructor
|
2015-11-27 17:52:33 +00:00 |
|
primitive.ml
|
Make specialized compare unboxed
|
2015-11-05 13:07:03 +01:00 |
|
primitive.mli
|
Make specialized compare unboxed
|
2015-11-05 13:07:03 +01:00 |
|
printtyp.ml
|
fix pr7103
|
2015-12-21 13:24:59 +00:00 |
|
printtyp.mli
|
General translation of french comments
|
2015-10-09 20:41:38 +00:00 |
|
printtyped.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
printtyped.mli
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
|
stypes.ml
|
fix a bug where the .annot files were truncated because of a missing "close"
|
2014-10-29 21:18:14 +00:00 |
|
stypes.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
subst.ml
|
Attach documentation comments to Parsetree
|
2015-06-28 13:11:50 +00:00 |
|
subst.mli
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
|
2015-07-17 14:31:05 +00:00 |
|
tast_mapper.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
tast_mapper.mli
|
Update ocamldoc and other utilities to support "type
|
2015-03-13 11:09:08 +00:00 |
|
typeclass.ml
|
Add module to deal with 'front-end' built-in attributes.
|
2015-12-02 14:46:14 +01:00 |
|
typeclass.mli
|
exhauce PR#6367: introduce Asttypes.arg_label to encode labelled arguments
|
2014-12-22 08:45:55 +00:00 |
|
typecore.ml
|
Fix #7115: shadowing in a branch of a GADT match breaks unused variable warning.
|
2016-01-05 11:19:10 +01:00 |
|
typecore.mli
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
typedecl.ml
|
Fix performance problem with PR#7016 and strengthen code
|
2015-11-16 16:38:08 +09:00 |
|
typedecl.mli
|
Use Attr_helper in typing/typedecl.ml
|
2015-10-06 10:58:18 +00:00 |
|
typedtree.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
typedtree.mli
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
typedtreeIter.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
typedtreeIter.mli
|
whitespace cleanup, cut long lines, add some missing headers
|
2015-09-11 11:58:31 +00:00 |
|
typedtreeMap.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
typedtreeMap.mli
|
whitespace cleanup, cut long lines, add some missing headers
|
2015-09-11 11:58:31 +00:00 |
|
typemod.ml
|
Fix #7119 (@@@warning attribute not persistent from one toplevel phrase to the next one).
|
2016-01-08 09:23:24 +01:00 |
|
typemod.mli
|
Better -no-alias-deps errors
|
2015-10-22 17:11:08 +01:00 |
|
types.ml
|
make Types.type_expr.id immutable
|
2015-11-25 17:32:56 +00:00 |
|
types.mli
|
make Types.type_expr.id immutable
|
2015-11-25 17:32:56 +00:00 |
|
typetexp.ml
|
Add module to deal with 'front-end' built-in attributes.
|
2015-12-02 14:46:14 +01:00 |
|
typetexp.mli
|
Add module to deal with 'front-end' built-in attributes.
|
2015-12-02 14:46:14 +01:00 |
|
untypeast.ml
|
Revert GPR#305 (exception patterns under or-patterns) from trunk
|
2015-12-12 11:20:21 +01:00 |
|
untypeast.mli
|
Parse arbitrary precision integers ..
|
2015-12-03 17:20:48 +01:00 |
b626516a32