summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Fix pretty-printing bug.fstclassmod_parametrizedAlain Frisch2010-09-101-11/+12
* Support for constraints on parametrized types in package types.Alain Frisch2010-09-092-2/+14
* In the untyped parse tree, allow arbitrary module type constraints in package...Alain Frisch2010-09-095-40/+58
* allow with constraints to add a type equation to a datatype definitionJacques Garrigue2010-09-065-6/+25
* fix PR#5124Jacques Garrigue2010-08-191-2/+12
* indentation + commentJacques Garrigue2010-07-121-4/+7
* PR#5096: overly restrictive value restriction check for first class modules.Alain Frisch2010-07-091-0/+21
* Fix unsoundness in eqtype, where bijectivity of renaming was not checked.Jacques Garrigue2010-06-241-17/+23
* fix PR#5081Jacques Garrigue2010-06-211-1/+1
* Fix a very old bug in equal_clty.Jacques Garrigue2010-06-081-1/+3
* build: Silent a warningNicolas Pouillard2010-06-081-1/+2
* fix PR#4824, closing unsoundness in object systemJacques Garrigue2010-06-083-7/+17
* give original error message if typing failsJacques Garrigue2010-06-081-1/+3
* cleaner approach for PR#4862Jacques Garrigue2010-06-081-13/+9
* fix PR#4862Jacques Garrigue2010-06-081-36/+51
* Fix PR#4933 and improve behaviour of applicative functorsJacques Garrigue2010-06-071-25/+35
* revert commit errorJacques Garrigue2010-06-071-35/+25
* support method!, val!, and inherit!Jacques Garrigue2010-06-071-25/+35
* PR#4964: parenthesized names for infix functions in annot filesXavier Clerc2010-05-313-7/+21
* error reportingJacques Garrigue2010-05-243-3/+3
* improve error messages for type declaration mismatchJacques Garrigue2010-05-214-41/+50
* Need to check record representation as well.Alain Frisch2010-05-212-3/+7
* PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez2010-05-211-1/+1
* PR#4478: better error messages for type definition mismatchesJacques Garrigue2010-05-216-56/+147
* fix PR#5057, must adjust levels in row fieldsJacques Garrigue2010-05-211-3/+5
* Error narrowing for class type lookups.Alain Frisch2010-05-184-9/+8
* Cleanup.Alain Frisch2010-05-182-5/+0
* Error narrowing for class lookups.Alain Frisch2010-05-181-4/+1
* Error narrowing for module type lookups.Alain Frisch2010-05-184-17/+14
* Error narrowing for module lookups.Alain Frisch2010-05-184-20/+12
* Improve error narrowing, and (partially) fix #5046.Alain Frisch2010-05-184-120/+80
* Simpler implementation of error narrowing. Factorization of lid finding code.Pierre Weis2010-05-051-58/+49
* Generalization of unbound identier error narrowing to all kind of qualifiedPierre Weis2010-05-041-41/+53
* Extend nondep_type to deal with 1st class modules.Alain Frisch2010-04-301-0/+2
* distinguish conflicting identifiers with same name (PR#4716)Jacques Garrigue2010-04-301-3/+38
* make duplicate definitions a warning rather than an errorJacques Garrigue2010-04-302-13/+9
* check for duplicate labels and constructors across recursive type definitions...Jacques Garrigue2010-04-302-0/+34
* fix order for PR#5036Jacques Garrigue2010-04-301-2/+3
* fix PR#4884, using same technique as rev. 8888Jacques Garrigue2010-04-302-5/+10
* remove spurious codeJacques Garrigue2010-04-301-23/+1
* PR#5036: check for nongeneralized type variables in "module type of".Xavier Leroy2010-04-281-6/+10
* fix PR#5037Jacques Garrigue2010-04-281-15/+18
* merge last changes from 3.11 branch (rev 10307)Damien Doligez2010-04-263-11/+11
* fix PR#5026: recursive type checks should use _opt versionsJacques Garrigue2010-04-261-2/+2
* Reserve identifiers below 1000 for typing/predef.ml. This facilitatesXavier Leroy2010-04-211-0/+6
* PR#4996: Subst.compose revised; Tbl.fold added.Xavier Leroy2010-04-201-3/+9
* merge branches/sigsubst 9626:10205Jacques Garrigue2010-04-173-5/+95
* merge branches/overrideJacques Garrigue2010-04-084-64/+80
* Adding "module type of <module-expr>" in the class of <module-type>.Xavier Leroy2010-04-021-2/+19
* clean up spaces and tabsDamien Doligez2010-01-2218-103/+98
View Lorry Controller Status