Home | History | Annotate | Download | only in Chapter7

Lines Matching defs:Error

7 exception Error of string
25 | Not_found -> raise (Error "unknown variable name")
35 | None -> raise (Error "unknown unary operator")
46 | _ -> raise (Error "destination of '=' must be a variable")
54 | Not_found -> raise (Error "unknown variable name")
77 | None -> raise (Error "binary operator not found!")
87 | None -> raise (Error "unknown function referenced")
91 (* If argument mismatch error. *)
93 raise (Error "incorrect # arguments passed");
200 * don't allow an error *)
301 raise (Error "redefinition of function");
305 raise (Error "redefinition of function with different # args");