summaryrefslogtreecommitdiffstats
path: root/typing/datarepr.mli
AgeCommit message (Expand)Author
2014-10-03Cleanup.Alain Frisch
2014-10-03Integrate simple change from constructors_with_record4.Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2013-09-27Keep location and attributes in type, label and constructor declarations. De...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-11-18small cleanupJacques Le Normand
2010-09-13first commitJacques Le Normand
2010-01-22clean up spaces and tabsDamien Doligez
2003-07-02Revu representation des declarations de type privateXavier Leroy
2000-03-21Revu la gestion des records de flottantsXavier Leroy
2000-02-05Correction bug dans la determination des representations de records (e.g. {lb...Xavier Leroy
1999-11-17Changement de la licenceXavier Leroy
1999-10-29Partial match avec joli messageLuc Maranget
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-07-25Changement representation des primitives.Xavier Leroy