diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-12-18 13:57:49 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-12-18 13:57:49 +0000 |
| commit | 1a61af5ad0da102f6912ce3c7a18fe4770f23be4 (patch) | |
| tree | 8ff10cf3cef8cf2cd90e807065e2205821bb9373 /contrib/extraction/haskell.ml | |
| parent | dae8ca4c57bd9c450b734a6b7cac985a03b30eef (diff) | |
typo de parenthèsage + suppression de string (= str maintenant)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2311 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/haskell.ml')
| -rw-r--r-- | contrib/extraction/haskell.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml index 499503f17..fcba0fcb5 100644 --- a/contrib/extraction/haskell.ml +++ b/contrib/extraction/haskell.ml @@ -75,11 +75,11 @@ let rec pp_type par t = | Tglob r -> pp_type_global r | Texn s -> - (string ("() -- " ^ s) ++ fnl ()) + (str ("() -- " ^ s) ++ fnl ()) | Tprop -> - string "Prop" + str "Prop" | Tarity -> - string "Arity" + str "Arity" in hov 0 (pp_rec par t) @@ -148,9 +148,9 @@ let rec pp_expr par env args = | MLexn s -> (open_par par ++ str "error" ++ spc () ++ qs s ++ close_par par) | MLprop -> - string "prop" + str "prop" | MLarity -> - string "arity" + str "arity" | MLcast (a,t) -> (open_par true ++ pp_expr false env args a ++ spc () ++ str "::" ++ spc () ++ pp_type false t ++ close_par true) |