summaryrefslogtreecommitdiff
path: root/testlabl
Commit message (Expand)AuthorAgeFilesLines
* more examplesJacques Garrigue2010-09-101-2/+19
* also support implicit packJacques Garrigue2010-08-261-2/+19
* allow also in let .. inJacques Garrigue2010-08-261-1/+9
* add examplesJacques Garrigue2010-08-241-0/+10
* support implicit unpack in patterns too; see implicit_unpack.mlJacques Garrigue2010-08-241-0/+64
* merge branches/sigsubst 9626:10205Jacques Garrigue2010-04-172-0/+125
* Tests moved to 'typing-recmod'Xavier Clerc2010-04-071-17/+0
* Tests moved from 'testlabl'Xavier Clerc2010-04-0719-2560/+0
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-202-0/+73
* merge polymorphic recursionJacques Garrigue2009-10-263-79/+171
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-202-0/+21
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-033-166/+211
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-111-0/+11
* merge changes from 3.10Jacques Garrigue2007-10-183-77/+80
* merge head on 2006-12-22Jacques Garrigue2006-12-221-0/+2
* betterJacques Garrigue2006-11-211-2/+4
* extraJacques Garrigue2006-11-212-0/+8
* loosing abbreviationJacques Garrigue2006-11-011-0/+53
* applications in pathsJacques Garrigue2006-10-101-2/+85
* be careful with path expansionJacques Garrigue2006-09-291-8/+74
* functorsJacques Garrigue2006-09-281-0/+119
* inclusion & normal private rowsJacques Garrigue2006-09-261-0/+34
* compatibilitiesJacques Garrigue2006-09-211-0/+18
* deep privacyJacques Garrigue2006-09-131-0/+4
* dispatchJacques Garrigue2006-09-121-0/+30
* pattern-matching worksJacques Garrigue2006-09-111-0/+64
* more efficient coercionsJacques Garrigue2006-05-171-0/+93
* bugsJacques Garrigue2006-05-096-0/+93
* add virtual instance variablesJacques Garrigue2006-04-051-55/+55
* oublie toolsJacques Garrigue2006-03-101-48/+88
* rebinding a virtual classJacques Garrigue2006-03-101-52/+119
* check hidden virtuals...Jacques Garrigue2006-03-101-178/+407
* patch for merged and virtual instance variablesJacques Garrigue2006-03-091-0/+2013
* addJacques Garrigue2006-02-021-0/+800
* multimatch patch 2006-02-02Jacques Garrigue2006-02-022-0/+1419
* patch for 3.09.1Jacques Garrigue2006-01-161-0/+354
* ajout de la quantification des variables de rangeeJacques Garrigue2005-12-121-5/+9
* add poly rec examplesJacques Garrigue2005-11-011-0/+16
* principalJacques Garrigue2005-10-313-2/+26
* subtyping polymorphic variantsJacques Garrigue2005-08-193-2/+66
* subtyping private typesJacques Garrigue2005-08-163-4/+41
* exemple supplementaireJacques Garrigue2005-08-161-0/+3
* add PRsJacques Garrigue2005-07-293-8/+21
* rename fixed types as privateJacques Garrigue2005-03-221-8/+15
* more examplesJacques Garrigue2005-03-141-0/+13
* fix poly method subtypingJacques Garrigue2005-03-103-7/+53
* abstract rowsJacques Garrigue2005-02-221-0/+54
* new warning for black holesJacques Garrigue2004-11-292-18/+18
* different Tpoly's may share the same vlJacques Garrigue2004-10-153-0/+11
* allow for phantom univarsJacques Garrigue2004-10-142-20/+2