Lines Matching refs:Error
42 | dest_var (Fn _) = raise Error "dest_var";
49 | dest_fn (Var _) = raise Error "dest_fn";
66 | dest_const _ = raise Error "dest_const";
75 if x = f then (a, b) else raise Error "dest_binop: wrong binop"
76 | dest_binop _ _ = raise Error "dest_binop: not a binop";
83 | dest_atom _ = raise Error "dest_atom";
90 | dest_neg _ = raise Error "dest_neg";
495 | dest_literal _ = raise Error "dest_literal";
568 | dest_eq _ = raise Error "dest_eq";
625 | subterm (_ :: _) (Var _) = raise Error "subterm: Var"
628 handle Subscript => raise Error "subterm: bad path";
633 fun update _ _ [] = raise Error "rewrite: bad path"
637 | rewrite _ (Var _) = raise Error "rewrite: Var"
645 fun literal_rewrite ([] |-> _) = raise Error "literal_rewrite: empty path"