/[svn]/typing/typer.ml
ViewVC logotype

Diff of /typing/typer.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 360 by abate, Tue Jul 10 17:27:46 2007 UTC revision 361 by abate, Tue Jul 10 17:28:05 2007 UTC
# Line 809  Line 809 
809        t        t
810    
811  and type_check_pair ?(kind=`Normal) loc env e1 e2 constr precise =  and type_check_pair ?(kind=`Normal) loc env e1 e2 constr precise =
812    let rects = Types.Product.get ~kind constr in    let rects = Types.Product.normal ~kind constr in
813    if Types.Product.is_empty rects then    if Types.Product.is_empty rects then
814      (match kind with      (match kind with
815        | `Normal -> raise_loc loc (ShouldHave (constr,"but it is a pair."))        | `Normal -> raise_loc loc (ShouldHave (constr,"but it is a pair."))
Legend:
Removed from v.360  
changed lines
  Added in v.361
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5