Commit 727636a5 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 fe360273
......@@ -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;
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
(Constraint
(t1,Types.Int.any,
(t2,Types.Int.any,
"The second argument must be an integer"));
Types.Int.put
(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