coq/contrib/extraction/test/Makefile.haskell, branch master

Deletion of contrib/extraction/test

2007-07-12T21:48:26+00:00

Not maintained, probably broken, of no interest except (maybe) for
myself, bad interaction with tools that work recursively (coqdep).
===> I move it to a personal repository



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

petit rajeunissement du test d'extraction

2004-03-20T17:39:10+00:00

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

Extraction des modules, enfin !

2003-01-22T01:22:34+00:00

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

ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante dummy

2002-04-08T12:25:12+00:00

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

Big commit extraction:

2002-03-04T15:48:51+00:00

- Changement de syntaxe (Extraction Language Toplevel/Ocaml/Haskell)
- Retour des inductifs singletons et vides dans extraction.ml
  (extraction.ml -> actions sur le type, mlutil.ml -> conserve le type)
- maintenant par defaut Recursive Extraction === Extraction "file"
- kill_prop global est fait dans extraction.ml selon typage (a suivre...)


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

suite et fin (?) de haskell: gestion des modules, mise en place du'un test

2002-02-15T13:02:06+00:00

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