File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -66,6 +66,7 @@ object Parser {
66
66
def idStartChar (c : Char ): Boolean = c == '_' || ('a' <= c && c <= 'z' ) || ('A' <= c && c <= 'Z' )
67
67
68
68
private val emptyLazyArray = new Array [Lazy ](0 )
69
+ private val isSpaceOrTab : Char => Boolean = c => c == ' ' || c == '\t '
69
70
}
70
71
71
72
class Parser (
@@ -148,10 +149,10 @@ class Parser(
148
149
lines
149
150
}
150
151
151
- def tripleBarJunk [$ : P ]: P [Unit ] = CharsWhileIn ( " \t " , 0 )
152
+ def tripleBarJunk [$ : P ]: P [Unit ] = CharsWhile (isSpaceOrTab , 0 )
152
153
153
154
def tripleBarIndent [$ : P ]: P [String ] = P (
154
- CharsWhileIn ( " \t " , 1 )
155
+ CharsWhile (isSpaceOrTab , 1 )
155
156
.opaque(" |||-block line must either be an empty line or start with at least one whitespace" )
156
157
.!
157
158
)
You can’t perform that action at this time.
0 commit comments