summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* fix record pattern-matching; sort records in typed treegadtsJacques Garrigue2011-06-157-35/+199
* do not use unify_pat_types_gadts for normal constructors!Jacques Garrigue2011-06-148-11/+74
* update testsJacques Garrigue2011-06-062-0/+19
* fix problem with constraints outside of matching, see typing-gadts/test.mlJacques Garrigue2011-06-055-7/+42
* limit propagation of type constraints to patterns to -principal modeJacques Garrigue2011-04-191-2/+4
* * make -principal stricter for gadtsJacques Garrigue2011-04-197-21/+121
* fix principality by expanding local definitions when exporting a valueJacques Garrigue2011-03-106-43/+142
* recover some principalityJacques Garrigue2011-02-247-32/+91
* add some more examples + section titlesJacques Garrigue2011-01-073-72/+125
* backport of fix from gadts-develJacques Garrigue2011-01-071-6/+5
* finish section 5Jacques Garrigue2011-01-063-46/+330
* add sections 5.7 to 5.10Jacques Garrigue2011-01-053-3/+389
* allow existentials in "as" patterns + report escaping newtypes + clean-upJacques Garrigue2010-12-147-127/+75
* add red-black treesJacques Garrigue2010-12-143-0/+178
* reset_pattern in partial_predJacques Garrigue2010-12-141-1/+2
* forgot level in partial_predJacques Garrigue2010-12-141-1/+1
* make it work with omega07.mlJacques Garrigue2010-12-141-22/+18
* fix some bugs found with omega07.mlJacques Garrigue2010-12-145-227/+51
* Add omega examplesJacques Garrigue2010-12-135-0/+616
* In type_cases, must take instances of ty_resJacques Garrigue2010-12-131-1/+2
* pattern level is only for definitions + existentials too should use pattern l...Jacques Garrigue2010-12-132-9/+19
* back to originalJacques Garrigue2010-12-101-2/+4
* changed the syntax backJacques Le Normand2010-12-055-22/+22
* newtypes now have an explicit levelJacques Le Normand2010-12-0310-38/+57
* changed syntax of constructorsJacques Le Normand2010-12-032-31/+30
* existentials can no longer appear in let bindings. This is a temporary restri...Jacques Le Normand2010-12-034-21/+45
* moved escaping let codeJacques Le Normand2010-12-031-5/+8
* fixed escaping existentials in let bindingsJacques Le Normand2010-12-031-4/+11
* fixed bug in syntactic sugar translationJacques Le Normand2010-12-031-4/+7
* fixed update_level bugJacques Le Normand2010-12-031-1/+1
* & types are no longer created during for the new type syntax annotationJacques Le Normand2010-11-241-3/+56
* fixed duplicate error message bugJacques Le Normand2010-11-241-46/+41
* camlp4 -> caml ast transformations doneJacques Le Normand2010-11-224-12/+188
* Camlp4 finally works. This is probably not the most elegant implementationJacques Le Normand2010-11-198-17/+390
* changed VERSION to 3.13.0-gadt so that it can work with camlp5. This is nonst...Jacques Le Normand2010-11-194-1/+1
* undid all changes to camlp4Jacques Le Normand2010-11-194-69/+26
* renammed a functionJacques Le Normand2010-11-181-3/+3
* small cleanupJacques Le Normand2010-11-186-22/+19
* fix mcomp + untabifyJacques Garrigue2010-11-171-177/+176
* undid changes in last commit. unify now uses the old mode when possibleJacques Le Normand2010-11-171-105/+32
* every function exported by ctype is now set to the correct modeJacques Le Normand2010-11-171-10/+91
* updated addlabelsJacques Le Normand2010-11-171-2/+2
* switch to Old in moregen tooJacques Garrigue2010-11-161-19/+23
* added change_mode functionJacques Le Normand2010-11-161-5/+26
* complete_constrs in parmatch.ml now works with gadts. Reverted changes to the...Jacques Le Normand2010-11-1614-168/+152
* big change as to how unification mode is handledJacques Le Normand2010-11-151-73/+98
* we must forget abbrevs when switching to the old method of unification. remov...Jacques Le Normand2010-11-153-12/+8
* rebootstrapped to fix exception printing errorJacques Le Normand2010-11-153-0/+0
* fix printing bugJacques Garrigue2010-11-151-1/+2
* updated VERSION and config filesJacques Le Normand2010-11-136-5/+5
View Lorry Controller Status