summaryrefslogtreecommitdiff
path: root/experimental
Commit message (Expand)AuthorAgeFilesLines
* 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