| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix record pattern-matching; sort records in typed treegadts | Jacques Garrigue | 2011-06-15 | 1 | -0/+32 |
| * | do not use unify_pat_types_gadts for normal constructors! | Jacques Garrigue | 2011-06-14 | 1 | -0/+5 |
| * | update tests | Jacques Garrigue | 2011-06-06 | 1 | -0/+11 |
| * | * make -principal stricter for gadts | Jacques Garrigue | 2011-04-19 | 1 | -4/+31 |
| * | fix principality by expanding local definitions when exporting a value | Jacques Garrigue | 2011-03-10 | 1 | -3/+17 |
| * | disable progragation in pattern-matchings containing polymorphic variants | Jacques Garrigue | 2010-11-11 | 1 | -0/+74 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |