git.iko.soy/Idris-dev
on master help sign in
fix octal digits lexer
606ae61dkeehl
libs/contrib/Text/Lexer.idr+4−4
compare with master
unifiedsplit
@@ -161,14 +161,14 @@ hexDigits : Lexer
161hexDigits = some hexDigit
161hexDigits = some hexDigit
162
162
163||| Recognise a single octal digit
163||| Recognise a single octal digit
164−||| /[0-8]/
164+||| /[0-7]/
165octDigit : Lexer
165octDigit : Lexer
166−octDigit = pred isHexDigit
166+octDigit = pred isOctDigit
167
167
168||| Recognise one or more octal digits
168||| Recognise one or more octal digits
169−||| /[0-8]+/
169+||| /[0-7]+/
170octDigits : Lexer
170octDigits : Lexer
171−octDigits = some hexDigit
171+octDigits = some octDigit
172
172
173||| Recognise a single alpha character
173||| Recognise a single alpha character
174||| /[A-Za-z]/
174||| /[A-Za-z]/