aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/extraction/scheme.ml
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Extraction: cleanup a hack (Pp.is_empty instead of Failure "empty phrase")Gravatar Pierre Letouzey2015-12-14
* Extraction: nicer implementation of ImplicitsGravatar Pierre Letouzey2015-12-12
* Fix some typos.Gravatar Guillaume Melquiond2015-04-02
* Properly capitalize filenames when extracting to Haskell. (Fix for bug #3221)Gravatar Guillaume Melquiond2015-03-21
* Update headers.Gravatar Maxime Dénès2015-01-12
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* Modulification of identifierGravatar ppedrot2012-12-14
* Extraction: avoid initial strange empty comments after Arnaud's hackGravatar letouzey2012-10-30
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* Experimental support for a comment in the files' preamble in extraction.Gravatar aspiwack2012-08-24
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* Extraction: Richer patterns in matchs as proposed by P.N. TollitteGravatar letouzey2011-11-28
* Extraction: avoid printing unused mutual fix components (fix #2477)Gravatar letouzey2011-03-07
* Extraction: Add missing parenthesis around emulated pattern-match (fix #2478)Gravatar letouzey2011-02-25
* Extraction : fix Extract Inlined Constant for Haskell and Scheme (#2469)Gravatar letouzey2011-01-07
* Extraction: avoid type-unsafe optimisation of pattern-matchings (fix #2413)Gravatar letouzey2010-12-21
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Extraction Library Foo creates Foo.ml, not foo.mlGravatar letouzey2010-07-07
* Extraction: (yet another) rework of the renaming codeGravatar letouzey2010-07-05
* Extraction: better support of modulesGravatar letouzey2010-07-02
* Extraction: no more MPself hence no need for subst during ppGravatar letouzey2010-07-02
* Extract Inductive is now possible toward non-inductive types (e.g. nat => int)Gravatar letouzey2010-05-21
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Extraction: ad-hoc identifier type with annotations for reductionsGravatar letouzey2010-04-16
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20