Revision c00d0b42 src/typing.ml
| src/typing.ml | ||
|---|---|---|
| 423 | 423 |
let tins, touts = split_arrow tfun in |
| 424 | 424 |
let tins = type_list_of_type tins in |
| 425 | 425 |
let args = expr_list_of_expr args in |
| 426 |
List.iter2 (type_subtyping_arg env in_main const) args tins; |
|
| 426 |
if List.length args <> List.length tins then |
|
| 427 |
raise (Error (loc, WrongArity (List.length args, List.length tins))) |
|
| 428 |
else |
|
| 429 |
List.iter2 (type_subtyping_arg env in_main const) args tins; |
|
| 427 | 430 |
touts |
| 428 | 431 |
|
| 429 | 432 |
(** [type_expr env in_main expr] types expression [expr] in environment |
Also available in: Unified diff