diff options
Diffstat (limited to 'plugins/extraction/haskell.ml')
| -rw-r--r-- | plugins/extraction/haskell.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml index 333bdcddd0..ce9fab735f 100644 --- a/plugins/extraction/haskell.ml +++ b/plugins/extraction/haskell.ml @@ -319,9 +319,10 @@ let rec pp_structure_elem = function and pp_module_expr = function | MEstruct (mp,sel) -> prlist_strict pp_structure_elem sel - | MEident _ -> failwith "Not Implemented: Module Ident" - | MEfunctor _ -> failwith "Not Implemented: Module Functor" - | MEapply _ -> failwith "Not Implemented: Module Application" + | MEfunctor _ -> mt () + (* for the moment we simply discard unapplied functors *) + | MEident _ | MEapply _ -> assert false + (* should be expansed in extract_env *) let pp_struct = let pp_sel (mp,sel) = |