blob: 8f389ce15db1bd33bfbce30a2c13b739d1a5768a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(** The function is undefined *)
exception Undefined of UTF8.t * string list
exception TypeError
let printf formatter = function
| Undefined (name, args) -> Format.fprintf formatter
"There is no function '%s' with signature %a"
(UTF8.to_utf8string name)
(Format.pp_print_list Format.pp_print_text) args
| _ -> Format.fprintf formatter "#Error"
|
