summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* seems to work! (see end of testlabl/poly.ml)Jacques Garrigue2009-10-222-2/+40
* 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
* Expanding the usual compiler's type-based optimisations to private abbreviati...Pierre Weis2007-11-014-7/+62
* strengthen private abbreviations tooJacques Garrigue2007-10-191-2/+3
* Ptyp_class a une rangeeJacques Garrigue2007-10-181-1/+1
* prive < (public) abstract !Jacques Garrigue2007-10-181-4/+5
* corrige rangees privees apres introduction abbreviations privees par PWJacques Garrigue2007-10-183-4/+6
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis2007-10-0916-109/+143
* fusion de la version 3.10.0Damien Doligez2007-10-086-52/+59
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-1610-69/+190
* error messageJacques Garrigue2007-02-271-1/+1
* fix bug 2007-02-27 by Lukasz StafiniakJacques Garrigue2007-02-271-2/+12
* fix bug 2007-02-27 by Lukasz StafiniakJacques Garrigue2007-02-272-1/+8
* Better handling of multiple extensions (foo.d.cmo, foo.p.cmx...)Nicolas Pouillard2007-02-231-1/+1
* fix Carette's bug 2007-02-18Jacques Garrigue2007-02-191-1/+1
View Lorry Controller Status