tools/Holmake/Holdep_tokens.sml

91 fun Error(SCR {filename,colnum,linenum,...}, msg) =
120                   else Error(scr, "Bad character >"^str c^"< after open")
152         NONE => Error(scr, "Don't expect to see 'in'-EOF")
167         NONE => Error(scr, "Don't expect to see 'infix'-EOF")
183     else Error(scr, "Bad character >"^str c^"< after 'open'")
186         NONE => Error(scr, "Don't expect to see '('-EOF")
188       | SOME c => Error(scr, "Don't expect to see '("^str c^"' after 'open'")
191         NONE => Error(scr, "Don't expect to see 'open'-'#'")
194                   else Error(scr, "Don't expect to see 'open'-'#'")
197         NONE => Error(scr, "'.'-EOF unexpected")
200                   else Error(scr, "'."^str c^" unexpected")
239           else Error(scr, "Didn't expect to see qualified ident here")
249           else Error(scr, "Didn't expect to see qualified ident here")
254         NONE => Error(scr, "Don't expect 'include'-'('-EOF")
256       | SOME c => Error(scr, "Don't expect 'include'-'('-'"^str c^"'")
279                   else Error(scr, "Bad character >"^str c^"< after 'include'")
293                   else Error(scr, "Bad character >"^str c^"< after 'include'")
325         NONE => Error(scr, "'('-EOF unexpected")
331         NONE => Error(scr, "Unterminated comment")
338         NONE => Error(scr, "Unterminated comment")
345         NONE => Error(scr, "Unterminated comment")
352         NONE => Error(scr, "'.'-EOF unexpected")
353       | SOME c => if Char.isSpace c then Error(scr, "'.'-whitespace unexpected")
358                   else Error(scr, "Bad character >"^str c^"< after qualifying '.'")
373         NONE => Error(scr, "Unterminated string literal")
376       | SOME #"\n" => Error(scr, "Unescaped newline in string literal")
380         NONE => Error(scr, "Unterminated string literal")
384                       Error(scr, "Illegal caret-escape in string literal")
389         NONE => Error(scr, "Unterminated string literal")
405                   else Error(scr, "Illegal backslash escape >" ^ str c ^
409         NONE => Error(scr, "Unterminated string literal")
413                   else Error(scr, "Illegal char >" ^ str c ^
417         NONE => Error(scr, "Unterminated string literal")
421                   else Error(scr, "Illegal backslash escape in string literal")