aboutsummaryrefslogtreecommitdiff
path: root/src/errors.ml
blob: 3751a60a646ab0284b1fb57e084b501934faebb6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(** The function is undefined *)
exception Undefined of UTF8.t * string list

exception TypeError

exception Cycle

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"