 +      fprintf ppf "This functor is impure. It can only be applied to ()"
 Index: typing/typemod.mli
 ===================================================================
---- typing/typemod.mli	(revision 13285)
+--- typing/typemod.mli	(revision 13286)
 +++ typing/typemod.mli	(working copy)
 @@ -60,6 +60,7 @@
    | Not_a_packed_module of type_expr

Index: parsing/parser.mly
===================================================================
--- parsing/parser.mly	(revision 13285)
+++ parsing/parser.mly	(working copy)
@@ -532,8 +532,12 @@
       { unclosed "struct" 1 "end" 3 }

     Module id :: rem ->
Index: typing/includemod.mli
===================================================================
--- typing/includemod.mli	(revision 13286)
+++ typing/includemod.mli	(working copy)
@@ -40,6 +40,7 @@
       Ident.t * class_declaration * class_declaration *
