Lines Matching refs:chars
1704 fun parseChars parser chars =
1706 val tokens = Parse.everything lexer chars
2093 val {chars,parseErrorLocation} = Parse.initialize {lines = lines}
2098 val (comments,chars) = stripLineComments [] chars
2100 val chars = Parse.everything Parse.any chars
2102 val chars = stripBlockComments chars
2106 val declarations = Stream.toList (parseDeclaration mapping chars)