blob: 8892eaf7fa142e55c0d4a958787a6761751f0664 (
plain)
1
2
3
4
5
6
7
8
9
|
let error_cant_find_case_type_loc loc env expr =
raise (PretypeError (loc,CCI,context env,CantFindCaseType expr))
let error_ill_formed_branch k env c i actty expty =
raise (TypeError (k, context env, IllFormedBranch (c,i,actty,expty)))
let error_number_branches_loc loc k env c ct expn =
raise (PretypeError (loc, k, context env, NumberBranches (c,ct,expn)))
|
