Commit 2e6de184 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-10-22 14:26:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-22 14:26:48+00:00
parent ff5cd107
......@@ -16,3 +16,4 @@ let fun sort (MPerson -> Man ; FPerson -> Woman)
let d = map fc with x -> sort x in
<(tag)>[ n <sons>s <daughters>d ]
in sort;;
......@@ -401,9 +401,8 @@ let check loc t s msg =
let rec type_check env e constr precise =
(* Format.fprintf Format.std_formatter "constr=%a precise=%b@\n"
Types.Print.print_descr constr precise; *)
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;
......@@ -638,7 +637,7 @@ and type_int_binop f loc1 t1 loc2 t2 =
if not (Types.Int.is_int t2) then
raise_loc loc2
"The second argument must be an integer"));
(f (Types.Int.get t1) (Types.Int.get t2));
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