Lines Matching refs:Error
14 fun fail0 (m:string) e = (e, Error m)
20 Error x => (s1, Error x)
40 (((p, m), qb), Error e) => m2 ((p0, m), qb0)
132 [] => (st, Error error)
134 else (st, Error error)
178 | Error _ => ok s
271 (((_,SOME(p,m)), _), Error _) => raise Fail m
272 | (((_, NONE), _), Error s) =>
334 (_, Error _) => raise Fail "Impossible"