Commit 99e07363 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-10-21 21:39:39 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 21:39:39+00:00
parent 0c5127b2
......@@ -401,6 +401,7 @@ let rec type_check env e constr precise =
(* Format.fprintf Format.std_formatter "constr=%a precise=%b@\n"
Types.Print.print_descr constr precise;
let d = type_check' e.exp_loc env e.exp_descr constr precise in
e.exp_typ <- Types.cup e.exp_typ d;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment