diff options
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 499503f171..fcba0fcb55 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) |