Commits

camlspotter  committed 0a22b87

minimized diff against pure 3.12.0 (rev 10643) (5c5cd56a3771)

  • Participants
  • Parent commits dff96b8
  • Branches ocamlspot-3.12.0

Comments (0)

Files changed (5)

File boot/myocamlbuild.boot

Binary file modified.

File boot/ocamlc

Binary file modified.

File boot/ocamldep

Binary file modified.

File boot/ocamllex

Binary file modified.

File typing/typecore.ml

 (* Typing of expressions *)
 
 let unify_exp env exp expected_ty =
+  (* Format.eprintf "@[%a@ %a@]@." Printtyp.raw_type_expr exp.exp_type
+    Printtyp.raw_type_expr expected_ty; *)
   try
     unify env exp.exp_type expected_ty
   with
         exp_type = create_package_type loc env (p, l);
         exp_env = env }
   | Pexp_open (lid, e) ->
-      (* workaround to get better loaction *)
+      (* workaround to get better location *)
       let loc = Spot.Location_bound.upperbound loc e.pexp_loc in
       type_exp (!type_open env loc lid) e