summaryrefslogtreecommitdiff
path: root/typing/datarepr.ml
Commit message (Expand)AuthorAgeFilesLines
* fix discrepancy between the executables generated byDamien Doligez2016-12-141-2/+2
* GPR#606: add unboxed typesDamien Doligez2016-07-211-6/+22
* Fix #7278: prevent inlined record on private types from being mutated.alainfrisch2016-06-271-4/+4
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add support for immediate attributeWill Crichton2016-02-021-0/+1
* add comment for Tobject in Datarepr.free_varsJacques Garrigue2014-12-161-0/+1
* Fix PR#6716: Assertion failure with existentials + inline records + rowsJacques Garrigue2014-12-161-3/+8
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-9/+40
|\
| * Distinguish explicitly representation of regular records and inlined records ...Alain Frisch2014-04-041-1/+1
| * Support for record arguments on exceptions.Alain Frisch2014-04-011-1/+1
| * Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-311-51/+39
| * Encode record arguments into extra record declarations.Alain Frisch2014-03-311-2/+4
| * Type-check constructor creation with a record argument.Alain Frisch2014-03-281-2/+1
| * Some preparation for record arguments.Alain Frisch2014-03-281-39/+52
* | Cleanup.Alain Frisch2014-10-031-0/+12
* | Cleanup.Alain Frisch2014-10-031-1/+1
* | Factorize.Alain Frisch2014-10-031-22/+21
* | Integrate simple change from constructors_with_record4.Alain Frisch2014-10-031-2/+5
* | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-1/+1
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-15/+30
|/
* Keep location and attributes in type, label and constructor declarations. De...Alain Frisch2013-09-271-25/+36
* Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch2012-10-241-7/+9
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* clean up TABs and whitespaceDamien Doligez2012-07-301-22/+22
* merge with branch bin-annotFabrice Le Fessant2012-05-301-1/+1
* Removal of unnecessary "rec" clauses (to please warning #39).Xavier Clerc2012-05-291-1/+1
* Compile with warning 33, and remove unused opens.Alain Frisch2012-05-291-1/+0
* Detect unused exception declarations (#5524).Alain Frisch2012-03-061-1/+1
* Keep locations for exception declaration. This gives better error messages an...Alain Frisch2012-03-061-2/+2
* merge branches/gadts-develJacques Garrigue2011-11-241-4/+1
* Keep type variable namesJacques Garrigue2011-09-221-1/+1
* merge branches/gadtsJacques Garrigue2011-07-291-13/+60
|\
| * remove the GAHsJacques Garrigue2010-11-101-77/+38
| * improved principalJacques Le Normand2010-11-051-3/+0
| * fixed small bug in mcompJacques Le Normand2010-10-201-2/+2
| * fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand2010-10-191-3/+3
| * exhaustiveness check is working. An algorithm te check compatibility has been...Jacques Le Normand2010-10-161-1/+6
| * moved things into constructor_descriptionJacques Le Normand2010-10-071-14/+38
| * switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand2010-09-191-8/+53
| * first commitJacques Le Normand2010-09-131-9/+24
* | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
|/
* As discussed at the latest consortium meeting:Xavier Leroy2009-09-121-2/+3
* Revu representation des declarations de type privateXavier Leroy2003-07-021-6/+10
* Revu la gestion des records de flottantsXavier Leroy2000-03-211-14/+1
* Correction bug dans la determination des representations de records (e.g. {lb...Xavier Leroy2000-02-051-7/+8
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Partial match avec joli messageLuc Maranget1999-10-291-0/+17
* Optimisation de la verification des relations d'egalite, d'instanciationJérôme Vouillon1998-07-031-1/+1
* deTABisationDamien Doligez1997-05-191-1/+1
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
View Lorry Controller Status