Extraction: better support of modules

 - For Haskell, modules abbreviations and applied functors are expanded.
   The only remaining sitation that isn't supported is extracting functors
   and applying them after extraction.

 - Add a module extraction for Scheme with the same capabilities as for
   Haskell (with no Extraction Library, though).

 - Nicer extracted module types (use of the mb.mod_type_alg if present)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13236 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions