Lines Matching refs:Error
181 val no_choice = (fn () => raise Error "no_choice: always fails");
186 handle Error _ => g ());
194 handle Error _ => S.NIL;
361 if List.exists p (!mem) then raise Error "cache_cut: repetition"
392 val prove = partial (Error "use_unit: NONE") (U.prove (Uref.!units))
400 use_unit units g c s handle Error _ => f a g (c o grab_unit units) s;
430 val () = assert (0 <= low) (Error "meson: impossible divide and conquer")
432 if n' <= low then s' else raise Error "meson: divide and conquer"
448 match env r g handle Error _ => unify env r g;
473 raise Error "meson: ancestor pruning"
497 else (saturated := false; raise Error "meson: too deep") (* OK *)