summaryrefslogtreecommitdiff
path: root/typing/datarepr.ml
Commit message (Expand)AuthorAgeFilesLines
* Fix #9721: Injectivity and recursive modules (#9727)Jacques Garrigue2020-07-071-1/+1
* Add a unique id to every signature itemThomas Refis2020-03-051-8/+13
* add separability signatures in type declarationsGabriel Scherer2020-01-281-1/+3
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-1/+1
* Remove positions from pathsLeo White2018-11-211-2/+2
* always associate a scope to a type (previously it was optional)Thomas Refis2018-10-051-2/+2
* slight representation changeThomas Refis2018-02-271-1/+2
* add a scope field to type_exprThomas Refis2018-02-271-1/+1
* Fix GPR#1204 (#1329)Jacques Garrigue2017-09-161-0/+13
* 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
|/
View Lorry Controller Status