Commit 5c3db361 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 ed74b4a4
......@@ -809,7 +809,7 @@ and type_check' loc env e constr precise = match e with
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
(match kind with
| `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