diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-04-08 12:25:12 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-04-08 12:25:12 +0000 |
commit | 74f8c29501ad533bf9bb29c22a885f3bd0f10d04 (patch) | |
tree | f2c9c597c20d4243d6c771bd38b95618996eb47a /contrib/extraction/test | |
parent | fc8413911cb60fbf8a749f00bfe0b184e2ca504f (diff) |
ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante dummy
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2619 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/test')
-rw-r--r-- | contrib/extraction/test/Makefile.haskell | 2 | ||||
-rw-r--r-- | contrib/extraction/test/Unit.hs | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/contrib/extraction/test/Makefile.haskell b/contrib/extraction/test/Makefile.haskell index ddc6ab4fb..347e99887 100644 --- a/contrib/extraction/test/Makefile.haskell +++ b/contrib/extraction/test/Makefile.haskell @@ -31,7 +31,7 @@ O:= $(patsubst %.hs,%.o,$(HS)) # General rules # -all: v2hs hs Unit.o $(O) +all: v2hs hs $(O) hs: $(HS) diff --git a/contrib/extraction/test/Unit.hs b/contrib/extraction/test/Unit.hs deleted file mode 100644 index 5d104e181..000000000 --- a/contrib/extraction/test/Unit.hs +++ /dev/null @@ -1,2 +0,0 @@ -module Unit where -unit = () |