Lines Matching refs:ParseError
5 exception ParseError of string
76 raise ParseError ("Unknown keyword: "^s)
110 val _ = not (isEmpty ssb) orelse raise ParseError "No \\DOC beginning entry"
111 val _ = isEmpty ssa orelse raise ParseError "Text before \\DOC"
141 | NONE => raise ParseError "No closing brace"
158 | _ => raise ParseError "Strange backslash in normal text"
226 else raise ParseError "Closing brace not found in \\TYPE"
260 | _ => raise ParseError "Ill-formed \\DOC section"
271 raise ParseError "Multi-word \\STRUCTURE section"
273 | _ => raise ParseError "Ill-formed \\STRUCTURE section")
299 raise ParseError ("Illegal character "^str (sub(ssb,0))^ " in "^
318 fun check_type_field2 [] = raise ParseError "Empty field list!"
319 | check_type_field2 [x] = raise ParseError "Only one field!"
321 | check_type_field2 _ = raise ParseError "\\TYPE field not second"
336 raise ParseError "Empty SEEALSO list"
344 raise ParseError ("Empty "^tag^" field")
354 end handle ParseError s => raise ParseError (docfile^": "^s)