summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* 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
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-205-44/+55
* Error report in case of -strict-sequence has been triggered.Pierre Weis2009-12-091-2/+2
* Adding the -strict-sequence option.Pierre Weis2009-12-091-0/+4
* Typing %, noop conversion.Pierre Weis2009-11-301-11/+31
* added warning 28: wildcard arg to constant constructorDamien Doligez2009-11-191-1/+4
* Merge the letopenin branch in (svn merge -r9386:9397 /svn/ocaml/branches/leto...Alain Frisch2009-11-014-13/+23
* Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch2009-10-2618-24/+163
* merge polymorphic recursionJacques Garrigue2009-10-262-10/+44
* Import changes from the newtypein branch (svn merge -r 9361:9367 https://fris...Alain Frisch2009-10-062-0/+37
* As discussed at the latest consortium meeting:Xavier Leroy2009-09-125-14/+42
* Refined error message for unbound identifiers: if M.ident is unbound and M is...Pierre Weis2009-09-042-130/+196
* merge changes from ocaml3111rc0 to ocaml3111Damien Doligez2009-07-204-51/+59
* Added option -no-app-funct to turn off applicative functorsXavier Leroy2009-07-152-2/+2
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-2011-56/+110
* use TypeHash for nondep_type, and add env to nondep_mtyJacques Garrigue2009-05-192-73/+51
* fix PR#4730Jacques Garrigue2009-03-021-1/+1
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-033-3/+11
* merge changes between 3.10.2 and the end of branch 3.10Damien Doligez2008-10-083-22/+34
* "invalid module name" becomes a warningDamien Doligez2008-10-062-14/+1
* PR#4607 reject invalid source file namesDamien Doligez2008-09-102-3/+15
* PR#4557: use Path.isfree rather than Path.head since the latter is ill-define...Xavier Leroy2008-08-071-1/+1
* PR#4512: check early for bad recursive type definitionsXavier Leroy2008-08-071-0/+1
* PR#4578, PR#4266: for 'include' constructs, recursively approximate instead o...Xavier Leroy2008-08-071-84/+80
* PR#4261: expand abbreviations one at a time, because we do not know whether e...Xavier Leroy2008-08-071-1/+1
* amelioration des annotationsDamien Doligez2008-07-296-21/+17
* Output references to the native version of the primitives in ocamloptAlain Frisch2008-07-242-0/+11
* distingue expansions publiques et privees dans le cacheJacques Garrigue2008-07-196-37/+44
* reset abbreviation cache when calling expand_abbrev after expand_abbrev_optJacques Garrigue2008-07-182-9/+11
* merge ground coercionsJacques Garrigue2008-07-181-0/+41
* allow aliases on private rowsJacques Garrigue2008-07-181-1/+3
* Corrected a - fatal - typo.Michel Mauny2008-07-151-1/+1
* Add lazy patterns.Michel Mauny2008-07-096-8/+68
* Stop multi-parameter optimization when the pattern is refutable. Now, ((fun t...Michel Mauny2008-06-162-2/+8
* workaround for the problem of optional argument type parsing caused when we r...Jun FURUSE / 古瀬 淳2008-06-111-0/+6
* Cleanup.Alain Frisch2008-04-221-3/+1
* merge changes from 3.10.1 to 3.10.2Damien Doligez2008-02-293-33/+42
* PR#4052 accept _ for all constructorsDamien Doligez2008-01-221-1/+1
* Fix ocamlc -dtypes.Alain Frisch2008-01-211-4/+1
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-1117-160/+240
* sous-typage des abbreviations privees et methodes polymorphesJacques Garrigue2007-11-301-0/+11
* Le predicat is_float utilise expand_head_opt pour optimiser aussi les champs ...Pierre Weis2007-11-281-2/+3
* Arguments homogenes pour le predicat private_flags.Pierre Weis2007-11-281-4/+4
* Documentation.Pierre Weis2007-11-281-1/+3
* PR#4453Jacques Garrigue2007-11-191-0/+1
View Lorry Controller Status