From 440a649ba68d0d3f58b13f6e0fe32cd10236df3d Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Apr 02 2014 20:38:29 +0000
Subject: Revert bad change included in previous commit, which broke tests/typing-module/firstclass.ml (more phrases were accepted by the type-checker).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/typing/includemod.ml b/typing/includemod.ml
index b6f68c8..7316a26 100644
--- a/typing/includemod.ml
+++ b/typing/includemod.ml
@@ -297,8 +297,6 @@ and signatures env cxt subst sig1 sig2 =
               (* Do not report in case of failure,
                  as the main type will generate an error *)
               Field_type (String.sub s 0 (String.length s - 4)), false
-          | (Sig_type _ | Sig_modtype _ | Sig_class_type _), name2 ->
-              name2, false
           | _ -> name2, true
         in
         begin try