Commits

camlspotter committed f0def12

removed a non-used function

  • Participants
  • Parent commits 5e4983a
  • Branches gcaml

Comments (0)

Files changed (1)

File typing/typecore.ml

     )
     pv env
 
-let add_typed_patterns env pats =
-  (* CR jfuruse: annotations *)
-  List.fold_left (fun env pat ->
-    let env = ref env in
-    let rec iter pat =
-      iter_pattern_desc iter pat.pat_desc; 
-      match pat.pat_desc with
-      | Tpat_var id | Tpat_alias (_, id) -> 
-          env :=
-            Env.add_value id {val_type = pat.pat_type;
-                              val_kind = Val_reg}
-              !env
-      | _ -> ()
-    in
-    iter pat;
-    !env) env pats
-
 let type_pattern env spat scope =
   reset_pattern scope;
   let pat = type_pat env spat in
 (* 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