diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 00:33:29 +0100 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 00:33:29 +0100 |
commit | 123cbdfef1733a1786109bd1b97ccfa3f62c0d1c (patch) | |
tree | 1233ee2d0712b4f89dbeb2d06c0b6a43b72009e3 /plugins/extraction/haskell.ml | |
parent | a275da6e67b91d9ccae0a952eb1feab2e122076e (diff) |
Extraction: cleanup a hack (Pp.is_empty instead of Failure "empty phrase")
Diffstat (limited to 'plugins/extraction/haskell.ml')
-rw-r--r-- | plugins/extraction/haskell.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml index 530eb2ff8..dd66a6a98 100644 --- a/plugins/extraction/haskell.ml +++ b/plugins/extraction/haskell.ml @@ -334,7 +334,8 @@ let pp_decl = function prvecti (fun i r -> let void = is_inline_custom r || - (not (is_custom r) && match defs.(i) with MLexn "UNUSED" -> true | _ -> false) + (not (is_custom r) && + match defs.(i) with MLexn "UNUSED" -> true | _ -> false) in if void then mt () else |