legeres modifs pretty-print de l'extractions

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

1 files changed, 5 insertions, 2 deletions

diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml
index 3282880a7..28c0612c9 100644
--- a/contrib/extraction/haskell.ml
+++ b/contrib/extraction/haskell.ml
@@ -26,11 +26,14 @@ let keywords =
   [ "case"; "class"; "data"; "default"; "deriving"; "do"; "else";
     "if"; "import"; "in"; "infix"; "infixl"; "infixr"; "instance"; 
     "let"; "module"; "newtype"; "of"; "then"; "type"; "where"; "_";
-    "as"; "qualified"; "hiding" ]
+    "as"; "qualified"; "hiding" ; "prop" ; "arity" ]
   Idset.empty
 
 let preamble prm =
-  let m = if prm.modular then String.capitalize prm.module_name else "Main" in
+  let m = match prm.mod_name with 
+    | None -> "Main" 
+    | Some m -> String.capitalize m 
+  in 
   [< 'sTR "module "; 'sTR m; 'sTR " where"; 'fNL; 'fNL;
      'sTR "type Prop = ()"; 'fNL;
      'sTR "prop = ()"; 'fNL; 'fNL;