summaryrefslogtreecommitdiff
path: root/typing/datarepr.mli
Commit message (Expand)AuthorAgeFilesLines
* Cleanup.Alain Frisch2014-10-031-9/+8
* Integrate simple change from constructors_with_record4.Alain Frisch2014-10-031-2/+3
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-2/+2
* Keep location and attributes in type, label and constructor declarations. De...Alain Frisch2013-09-271-4/+4
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge with branch bin-annotFabrice Le Fessant2012-05-301-6/+6
* Keep locations for exception declaration. This gives better error messages an...Alain Frisch2012-03-061-1/+1
* merge branches/gadtsJacques Garrigue2011-07-291-3/+4
|\
| * small cleanupJacques Le Normand2010-11-181-1/+1
| * first commitJacques Le Normand2010-09-131-3/+3
* | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
|/
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* Revu representation des declarations de type privateXavier Leroy2003-07-021-2/+3
* Revu la gestion des records de flottantsXavier Leroy2000-03-211-4/+2
* Correction bug dans la determination des representations de records (e.g. {lb...Xavier Leroy2000-02-051-1/+3
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Partial match avec joli messageLuc Maranget1999-10-291-0/+5
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Changement representation des primitives.Xavier Leroy1995-07-251-0/+14