From 8e8e5aaa7320c56dc7128f92a72669c0be684e78 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 21 Dec 2001 12:27:29 +0000
Subject: maj CHANGES extraction + bug extraction & _

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2359 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/haskell.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'contrib/extraction/haskell.ml')

diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml
index fcba0fcb5..cda6e4a9c 100644
--- a/contrib/extraction/haskell.ml
+++ b/contrib/extraction/haskell.ml
@@ -102,7 +102,9 @@ let rec pp_expr par env args =
   in
   function
     | MLrel n -> 
-	apply (pr_id (get_db_name n env))
+	let id = get_db_name n env in 
+	apply (if string_of_id id = "_" then str "prop" else pr_id id)
+	  (* HACK, should disappear soon *)
     | MLapp (f,args') ->
 	let stl = List.map (pp_expr true env []) args' in
         pp_expr par env (stl @ args) f
-- 
cgit v1.2.3