Commit d7b41a1a authored by Kim Nguyễn's avatar Kim Nguyễn

Remove unused exception handling code.

parent 2b0f24c6
......@@ -966,10 +966,8 @@ and type_check' loc env ed constr precise = match ed with
in
let t =
(* try Types.Arrow.check_strenghten a.fun_typ constr *)
try begin
if Types.is_squaresubtype env.delta a.fun_typ constr then a.fun_typ
else raise Not_found
end with Not_found ->
if Types.is_squaresubtype env.delta a.fun_typ constr then a.fun_typ
else
should_have loc constr
"but the interface of the abstraction is not compatible"
in
......
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