summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* merging poly_meth2poly_meth2Jacques Garrigue2002-04-1819-75/+182
* Use type_argument for constructor and record arguments.Jacques Garrigue2002-04-161-4/+16
* use memorize_abbrev for simple_abbrevsJacques Garrigue2002-04-041-5/+4
* version stringJacques Garrigue2002-03-252-2/+2
* build_subtype and univarsJacques Garrigue2002-03-251-1/+1
* version stringJacques Garrigue2002-03-251-1/+1
* simple_abbrevs + no abbrev univars in recordsJacques Garrigue2002-03-252-10/+28
* merge HEADJacques Garrigue2002-03-2516-383/+224
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-03-182-0/+298
* merge changesJacques Garrigue2002-03-1854-413/+1083
* Solaris est tatillonJacques Garrigue2002-03-181-1/+1
* improve error messageJacques Garrigue2002-03-131-13/+14
* abbreviate polymorphic methods in class typesJacques Garrigue2002-03-081-1/+9
* could break type soundness!Jacques Garrigue2002-03-012-0/+5
* permet Tvar -> Tunivar dans moregeneralJacques Garrigue2002-02-281-4/+0
* principalite' pour type_argumentJacques Garrigue2002-02-261-9/+23
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-02-201-0/+15
* clean-up warningJacques Garrigue2002-02-181-19/+22
* generalise le constructeurJacques Garrigue2002-02-162-5/+8
* poly.ml passe en -principalJacques Garrigue2002-02-163-25/+39
* merge packagingJacques Garrigue2002-02-1523-477/+120
* ajoute -principalJacques Garrigue2002-02-153-0/+3
* ajout de -principalJacques Garrigue2002-02-1512-31/+161
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-02-143-0/+1007
* merge 3.04+6Jacques Garrigue2002-02-1235-151/+351
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-02-1175-0/+15624
* polymorphic objects tooJacques Garrigue2002-01-072-2/+9
* re-merci AlainJacques Garrigue2002-01-075-25/+29
* handle poly typesJacques Garrigue2002-01-051-1/+2
* merge from HEADJacques Garrigue2002-01-052-5/+7
* merci AlainJacques Garrigue2002-01-055-13/+15
* polymorphic methods and recordsJacques Garrigue2002-01-0412-57/+97
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2002-01-04140-0/+21108
* correct variant explicit polymorphism + object typesJacques Garrigue2002-01-045-18/+33
* polymorphisme explicite pour les variantesJacques Garrigue2002-01-0410-49/+63
* corrige compute_univarsJacques Garrigue2002-01-021-54/+35
* verification du polymorphisme de premiere classeJacques Garrigue2002-01-021-1/+1
* ca semble marcher!Jacques Garrigue2001-12-293-30/+50
* les methodes polymorphes marchent un peuJacques Garrigue2001-12-279-48/+165
* merge head changesJacques Garrigue2001-12-268-63/+83
* update univar codeJacques Garrigue2001-11-2612-60/+545
* This commit was manufactured by cvs2svn to create branch 'poly_meth2'.No author2001-11-231542-267859/+0
* changement de representation des variants pour etre vraimet correctJacques Garrigue2001-11-233-16/+10
* copie correcte des variants polymorphesJacques Garrigue2001-11-235-23/+38
* plus correctJacques Garrigue2001-11-222-13/+16
* simplify codeJacques Garrigue2001-11-224-125/+55
* accepte commentaires avant ou apresJacques Garrigue2001-11-223-21/+36
* remarques de Jamie et PierreJacques Garrigue2001-11-222-17/+28
* bootstrap ocamlopt.optJacques Garrigue2001-11-212-0/+0
* Glibouillage signaux asynchrones pour Win32Xavier Leroy2001-11-201-0/+10