summaryrefslogtreecommitdiff
path: root/typing/btype.ml
Commit message (Expand)AuthorAgeFilesLines
* More warnings when compiling the compiler.alainfrisch2016-03-151-7/+7
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-5/+5
* PR#6542: solve new performance problems du to path compression and copyJacques Garrigue2015-12-081-60/+46
* be more careful about undoing compressionJacques Garrigue2015-11-261-15/+18
* Merge branch 'trunk' of github.com:ocaml/ocaml into compress-TlinkJacques Garrigue2015-11-261-1/+7
|\
| * Do not rely on polymorphic comparison.alainfrisch2015-11-251-1/+7
* | Do path compression, and undo it in case of unification errorJacques Garrigue2015-11-161-0/+43
|/
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-221-7/+10
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-3/+12
|\
| * Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-311-14/+3
| * Some preparation for record arguments.Alain Frisch2014-03-281-3/+14
* | Factorize.Alain Frisch2014-10-031-10/+17
* | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-0/+3
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-5/+14
* | Fix PR#6371Jacques Garrigue2014-04-161-26/+22
|/
* Fix PR#6307Jacques Garrigue2014-03-101-0/+96
* merge generative functorsJacques Garrigue2013-12-171-0/+3
* Keep attributes/locs for class type declarations and class declarations in Ty...Alain Frisch2013-09-271-2/+2
* Keep location and attributes in type, label and constructor declarations. De...Alain Frisch2013-09-271-4/+4
* Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch2013-04-161-1/+1
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-0/+6
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-11/+21
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | clean up TABs and whitespaceDamien Doligez2012-07-301-5/+5
* | Fix PR#5689Jacques Garrigue2012-07-181-0/+8
* | Fix PR#5224Jacques Garrigue2012-06-011-3/+3
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-3/+3
* | fix PR#5619Jacques Garrigue2012-05-251-0/+2
|/
* merge branches/gadts-develJacques Garrigue2011-11-241-7/+11
* Keep type variable namesJacques Garrigue2011-09-221-11/+31
* merge branches/gadtsJacques Garrigue2011-07-291-1/+11
|\
| * clean upJacques Le Normand2010-11-101-2/+1
| * allow variance in GADTsJacques Garrigue2010-11-081-1/+1
| * added lookup of constructors by type in env.ml and specification of construct...Jacques Le Normand2010-10-211-1/+1
| * removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand2010-10-211-5/+0
| * fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand2010-10-191-3/+3
| * small cleanupJacques Le Normand2010-09-221-5/+0
| * do not use univars in fixed instancesJacques Le Normand2010-09-211-1/+0
| * switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand2010-09-191-2/+8
| * first commitJacques Le Normand2010-09-131-1/+11
| * use free univars for explicit polymorphic typesJacques Garrigue2010-08-311-0/+6
* | allow using Printyp.raw_type_expr in BtypeJacques Garrigue2011-07-291-0/+5
* | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
|/
* clean up spaces and tabsDamien Doligez2010-01-221-8/+8
* Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch2009-10-261-1/+2
* distingue expansions publiques et privees dans le cacheJacques Garrigue2008-07-191-10/+11
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-111-8/+2
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis2007-10-091-3/+3
* add virtual instance variablesJacques Garrigue2006-04-051-1/+1
View Lorry Controller Status