Lines Matching defs:fail
24 val fail : ('a, 'b) p -> ('c, 'd) p;
109 fun fail (_ : ('a, 'b) p) = Failed "Always fails!";
139 until one succeeds or fail if all parsers fail *)
425 parse_mixfix fail #> pack)
514 e (keyword "::") #> parse_arity fail
524 |> liftP) #> proof fail #> pack
531 |> liftP) #> proof fail #> pack
540 #> p str_ #> optional (parse_mixfix fail)
581 #> many (oneOf (parse_theory_body fail fail))
586 e (keyword "::") #> parse_arity fail #>
588 #> many (oneOf (parse_theory_body fail fail))
595 parse_theory_body fail fail))