coq/contrib/extraction/test/Makefile, 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

changements de dernieres minutes pour la 8.1 beta:

2006-06-09T02:14:34+00:00

- qualification correcte des noms en Haskell
- on imprime les types de toutes les fonctions en Haskell
- en Ocaml, les appels recursifs d'une f : 'a truc doivent 
 se faire avec les _meme_ parametres de types 'a. Exemple illegal: 
   let rec f = function [] -> 0 | l -> f [l];;
 On met maintenant des Obj.magic en conséquence. 
 En Haskell (avec typage fourni), ca passe. 



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

debut de reparation du test d'extraction

2006-06-02T09:53:18+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8891 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

L'extraction c'est magic cvs -n up

2002-10-31T17:59:02+00:00

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

reparation du test des reals

2002-03-21T17:06:15+00:00

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

debranchement du test sur les Reals

2001-12-19T17:14:59+00:00

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

correction de bugs concernant la gestion des modules. debranchement du test d'extraction sur les Reals en attendant

2001-12-10T14:54:35+00:00

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

Moins de fichiers avec des axioms

2001-11-13T13:26:29+00:00

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