summaryrefslogtreecommitdiff
path: root/experimental
Commit message (Expand)AuthorAgeFilesLines
* pprintastJacques Garrigue2013-02-011-7/+48
* subtyping of impure functorsJacques Garrigue2013-01-311-5/+47
* fix unsoundness of impure functors with unpackJacques Garrigue2013-01-251-10/+23
* error message + allow unpack in impure functor bodyJacques Garrigue2013-01-251-42/+89
* very cheap impure (generative) functorsJacques Garrigue2013-01-241-0/+77
* delayed check for absent variant constructors in patternsJacques Garrigue2012-12-271-6/+40
* do not diff the patch itselfJacques Garrigue2012-12-251-121/+0
* only need to copy if pattern contains polymorphic variantsJacques Garrigue2012-12-251-30/+142
* propagate type information to patterns, even with polymorphic variantsJacques Garrigue2012-12-211-0/+187
* Move ast_mapper.ml to tools/.Alain Frisch2012-11-082-510/+7
* Adapt to changes.Alain Frisch2012-10-171-5/+5
* introduce local types in patternsJacques Garrigue2012-10-121-0/+467
* Fix.Alain Frisch2012-09-181-1/+1
* Sync with Lexifi's version of ast_mapper.Alain Frisch2012-09-183-130/+319
* clean up TABs and whitespaceDamien Doligez2012-07-305-8/+9
* Automatically wrap fields with Ptyp_poly.Alain Frisch2012-07-271-1/+9
* Polishing.Alain Frisch2012-07-241-29/+35
* Continue js syntax example.Alain Frisch2012-07-242-9/+39
* Another example: syntax for javascript properties in js_of_ocaml.Alain Frisch2012-07-244-2/+150
* One more example: instrument method calls.Alain Frisch2012-07-242-3/+20
* Continue AST mapper.Alain Frisch2012-07-242-200/+167
* Extend ifdef example, with a compile-time getenv.Alain Frisch2012-06-294-7/+38
* Better error report.Alain Frisch2012-06-292-3/+7
* Continue demo of ast mapper.Alain Frisch2012-06-295-147/+347
* #5634: parstree rewriters (merge with ast_rewriter branch).Alain Frisch2012-06-133-0/+195
* keep the text width to 80 columnsJacques Garrigue2012-05-311-0/+16
* a patch to allow 'with module type S = ...' and 'S := ...'Jacques Garrigue2012-01-101-0/+182
* patch to move id creation to the C sideJacques Garrigue2011-12-291-0/+141
* A small patch to call 'bind' for syntax 'let x <- expr in cont'Jacques Garrigue2011-12-271-0/+77
* trim module signaturesJacques Garrigue2011-12-151-3/+22
* A patch adding primitives to browse types in the toplevelJacques Garrigue2011-12-151-0/+141
* update patchJacques Garrigue2011-10-051-36/+84
* another approach to principalityJacques Garrigue2011-09-271-17/+125
* fix gadt type variablesJacques Garrigue2011-09-271-0/+363
* patch for better module errorsJacques Garrigue2011-09-221-0/+403
* update patchJacques Garrigue2011-09-221-269/+381
* PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez2011-08-041-0/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-0/+157
* remove garbage from patchJacques Garrigue2011-07-231-162/+92
* patch for keeping variable namesJacques Garrigue2011-07-232-0/+1618
* 'testlabl' renamed to 'experimental/garrigue'.Xavier Clerc2011-07-2115-0/+7220