Commits

camlspotter committed cf0468c

disabled debug print

  • Participants
  • Parent commits dc042f4
  • Branches custom

Comments (0)

Files changed (3)

 typing/cmt_format.cmi : typing/types.cmi typing/typedtree.cmi \
     parsing/location.cmi typing/env.cmi typing/cmi_format.cmi
 typing/ctype.cmi : typing/types.cmi typing/path.cmi parsing/longident.cmi \
-    typing/ident.cmi typing/env.cmi parsing/asttypes.cmi
+    parsing/location.cmi typing/ident.cmi typing/env.cmi parsing/asttypes.cmi
 typing/datarepr.cmi : typing/types.cmi typing/path.cmi typing/ident.cmi \
     parsing/asttypes.cmi
 typing/env.cmi : utils/warnings.cmi typing/types.cmi typing/path.cmi \
     parsing/parsetree.cmi parsing/longident.cmi parsing/location.cmi \
     typing/env.cmi parsing/asttypes.cmi
 typing/btype.cmo : typing/types.cmi typing/path.cmi utils/misc.cmi \
-    typing/btype.cmi
+    parsing/location.cmi typing/btype.cmi
 typing/btype.cmx : typing/types.cmx typing/path.cmx utils/misc.cmx \
-    typing/btype.cmi
+    parsing/location.cmx typing/btype.cmi
 typing/cmi_format.cmo : typing/types.cmi utils/misc.cmi parsing/location.cmi \
     utils/config.cmi typing/cmi_format.cmi
 typing/cmi_format.cmx : typing/types.cmx utils/misc.cmx parsing/location.cmx \
     utils/config.cmx typing/cmi_format.cmi
 typing/cmt_format.cmo : typing/types.cmi typing/typedtree.cmi utils/misc.cmi \
     parsing/location.cmi parsing/lexer.cmi typing/env.cmi utils/config.cmi \
-    typing/cmi_format.cmi utils/clflags.cmi typing/cmt_format.cmi
+    typing/cmi_format.cmi utils/clflags.cmi parsing/asttypes.cmi \
+    typing/cmt_format.cmi
 typing/cmt_format.cmx : typing/types.cmx typing/typedtree.cmx utils/misc.cmx \
     parsing/location.cmx parsing/lexer.cmx typing/env.cmx utils/config.cmx \
-    typing/cmi_format.cmx utils/clflags.cmx typing/cmt_format.cmi
+    typing/cmi_format.cmx utils/clflags.cmx parsing/asttypes.cmi \
+    typing/cmt_format.cmi
 typing/ctype.cmo : typing/types.cmi typing/subst.cmi typing/path.cmi \
     utils/misc.cmi parsing/longident.cmi parsing/location.cmi \
     typing/ident.cmi typing/env.cmi utils/clflags.cmi typing/btype.cmi \

typing/typecore.ml

           with _ -> ()
         end;
         let (path, desc) = Typetexp.find_value env loc lid.txt in
+(*
 Format.eprintf "desc @[%a@]@." Printtyp.raw_type_expr desc.val_type;
+*)
         rue {
           exp_desc =
             begin match desc.val_kind with

typing/typemod.ml

           type_module true funct_body (anchor_submodule name.txt anchor) env
             smodl in
         let mty = enrich_module_type anchor name.txt modl.mod_type env in
-
+(*
 Format.eprintf "module :: %a@." Printtyp.modtype mty;
-
+*)
         let (id, newenv) = Env.enter_module name.txt mty env in
         let (str_rem, sig_rem, final_env) = type_struct newenv srem in
         (mkstr (Tstr_module(id, name, modl)) loc :: str_rem,