Lines Matching refs:Error
4 datatype ('a,'b) fs = Some of 'a | Error of 'b7 fun error (e:'error) : ('s,'a,'error) t = fn env => Error e19 | Error e => Error e (* pat and rhs have different types *)25 Error _ => m2 env30 Error e => fm2 e env57 NONE => Error errv62 Error _ => NONE67 Error e => Error e