Commit 389da8ac authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-16 13:32:07 by cvscast] Bug fix in type_check_pair

Original author: cvscast
Date: 2003-05-16 13:32:07+00:00
parent 697bedcd
...@@ -809,7 +809,7 @@ and type_check' loc env e constr precise = match e with ...@@ -809,7 +809,7 @@ and type_check' loc env e constr precise = match e with
t t
and type_check_pair ?(kind=`Normal) loc env e1 e2 constr precise = and type_check_pair ?(kind=`Normal) loc env e1 e2 constr precise =
let rects = Types.Product.get ~kind constr in let rects = Types.Product.normal ~kind constr in
if Types.Product.is_empty rects then if Types.Product.is_empty rects then
(match kind with (match kind with
| `Normal -> raise_loc loc (ShouldHave (constr,"but it is a pair.")) | `Normal -> raise_loc loc (ShouldHave (constr,"but it is a pair."))
......
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