aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/dyn.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Dyn: simplify API introducing an Easy submoduleGravatar Enrico Tassi2016-05-13
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Adding a structure indexed by tags.Gravatar Pierre-Marie Pédrot2016-01-17
* | Factorizing unsafe code by relying on the new Dyn module.Gravatar Pierre-Marie Pédrot2015-12-05
* | Leveraging GADTs to provide a better Dyn API.Gravatar Pierre-Marie Pédrot2015-12-05
* | Specializing the Dyn module to each usecase.Gravatar Pierre-Marie Pédrot2015-12-04
|/
* Remove almost all the uses of string concatenation when building error messages.Gravatar Guillaume Melquiond2015-04-23
* Adding a primitive to dump the current association table of dynamic types.Gravatar Pierre-Marie Pédrot2015-03-16
* Update headers.Gravatar Maxime Dénès2015-01-12
* Dyn: add API to check of two Dyn.t are ==Gravatar Enrico Tassi2014-12-17
* Using hashes instead of strings in dynamic tags. In case of collision, anGravatar Pierre-Marie Pédrot2013-11-22
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Partial revert of Yann commit in order to use CLib.List when openingGravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* entetesGravatar filliatr2001-03-15
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28
* ajout dyn; divers fonctions utilGravatar filliatr1999-08-17