Commit 4a45aa77 authored by Andrei Paskevich's avatar Andrei Paskevich

report the EmptyMatch exception

parent a3ba5e5f
......@@ -439,6 +439,8 @@ let () = Exn_printer.register
fprintf fmt "Bad arity: symbol %a must be applied \
to %i arguments, but is applied to %i"
print_ls ls ls_arg app_arg
| Term.EmptyMatch ->
fprintf fmt "Empty match statement"
| Term.DuplicateVar vs ->
fprintf fmt "Variable %a is used twice" print_vsty vs
| Term.UncoveredVar vs ->
......
......@@ -57,6 +57,7 @@ val create_psymbol : preid -> ty list -> lsymbol
(** {2 Exceptions} *)
exception EmptyMatch
exception DuplicateVar of vsymbol
exception UncoveredVar of vsymbol
exception BadArity of lsymbol * int * int
......
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