From 5794aee035554ba6de9b0f2ac1ab4a711a9faed8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 22 Jan 2003 02:41:10 +0000
Subject: petit bug pp haskell

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

diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml
index aac7f87781..6248bacc35 100644
--- a/contrib/extraction/haskell.ml
+++ b/contrib/extraction/haskell.ml
@@ -250,9 +250,8 @@ let pp_decl mp =
 	let l = rename_tvars keywords l in
 	let l' = List.rev l in 
 	hov 2 (str "type " ++ pp_global r ++ spc () ++ 
-	       prlist_with_sep (fun () -> (str " ")) pr_id l ++
-	       (if l <> [] then (str " ") else (mt ())) ++ str "=" ++ spc () ++
-	       pp_type false l' t ++ fnl () ++ fnl ())
+	       prlist (fun id -> pr_id id ++ str " ") l ++
+	       str "=" ++ spc () ++ pp_type false l' t) ++ fnl () ++ fnl ()
   | Dfix (rv, defs,_) ->
       let ppv = Array.map pp_global rv in 
       prlist_with_sep (fun () -> fnl () ++ fnl ())
-- 
cgit v1.2.3