summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* improve performance on huge variantsJacques Garrigue2006-06-232-19/+20
* fix PR#4001Jacques Garrigue2006-06-232-1/+5
* fix pr#4018, consequence of pr#3918Jacques Garrigue2006-05-091-16/+31
* fix pr#3999Jacques Garrigue2006-05-011-6/+8
* contravariance bug in with constraints for private rowsJacques Garrigue2006-04-211-1/+2
* fix PR#4002Jacques Garrigue2006-04-181-1/+4
* fix PR#3980Jacques Garrigue2006-02-212-7/+6
* fix PR#3976Jacques Garrigue2006-02-181-1/+2
* fix pr3968Jacques Garrigue2006-02-091-1/+1
* PR#3894 -dtypes incorrect for monomorphic type variablesDamien Doligez2006-01-052-1/+2
* PR#3907 warning unused sur indice de boucleDamien Doligez2005-12-281-1/+1
* Fix PR#3918Jacques Garrigue2005-12-151-3/+8
* Retour en arriere sur le commit precedent, ne marche pas et n'a pas sa place ...Xavier Leroy2005-12-111-12/+6
* delayed check for Statement_type tooJacques Garrigue2005-12-091-6/+12
* allow recursive types in exceptionsJacques Garrigue2005-12-071-2/+2
* fix PR#3909: create_recursion may need to do nothingJacques Garrigue2005-12-051-1/+1
* right way to duplicate field kindsJacques Garrigue2005-12-054-42/+45
* fix PR#3856Jacques Garrigue2005-11-212-16/+24
* PR#3832 manque de warning Y dans le toplevelDamien Doligez2005-11-161-0/+1
* PR#3868 warning Y en tropDamien Doligez2005-11-161-3/+5
* fix PR#3855Jacques Garrigue2005-11-141-1/+3
* fusion des derniers changements de 3.08.4Damien Doligez2005-11-071-5/+5
* ajout .mliDamien Doligez2005-10-261-0/+15
* must strengthen private row typesJacques Garrigue2005-09-281-2/+3
* fix bug Wohlwend caml-list 2005-09-19Jacques Garrigue2005-09-201-8/+12
* warn about useless with in recordJacques Garrigue2005-09-151-1/+3
* subtyping polymorphic variantsJacques Garrigue2005-08-191-20/+47
* bug in object subtyping + subtyping forget constraintsJacques Garrigue2005-08-171-20/+29
* subtyping private typesJacques Garrigue2005-08-161-7/+4
* fix merge problems with 3.08.4 (PR#3758)Jacques Garrigue2005-08-162-1/+5
* fusion des modifs de 3.08.4Damien Doligez2005-08-137-60/+128
* Retour en arriere sur la simplification des signatures inferees (fix du PR#35...Xavier Leroy2005-08-082-26/+36
* bug in private rowsJacques Garrigue2005-08-081-2/+1
* Systematiser la simplification des signatures inferees (PR#3545)Xavier Leroy2005-08-022-36/+26
* Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, ...Xavier Leroy2005-07-312-4/+16
* Char ranges in format strings where not handled properly (wrong parsing).Pierre Weis2005-07-221-1/+24
* portee des variables de typeJacques Garrigue2005-07-222-39/+37
* error messageJacques Garrigue2005-07-221-1/+1
* definition plus claire du partage des variables de typesJacques Garrigue2005-07-221-80/+57
* fix potential bugJacques Garrigue2005-07-121-1/+2
* fix PR#3638Jacques Garrigue2005-07-121-3/+4
* fix PR#3705Jacques Garrigue2005-07-121-3/+4
* check variance for row-variable too!Jacques Garrigue2005-07-111-1/+3
* do not force presence for variants with only 1 constructorJacques Garrigue2005-06-132-33/+5
* when using -rectypes, expand abbreviations to detect cyclesJacques Garrigue2005-06-031-4/+4
* fix PR#3577 (only check variance for (semi-)abstract types)Jacques Garrigue2005-04-051-3/+10
* bug in type_approxJacques Garrigue2005-04-041-6/+5
* pas de conflit avec 3.08.3Jacques Garrigue2005-03-251-25/+0
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-243-5/+32
* meilleurs messages d'erreur pour let recDamien Doligez2005-03-241-4/+17
View Lorry Controller Status