on master help sign in
Merge pull request #4597 from dkeehl/dkeehl-lexer-fix

fix octal digits lexer

commitd063e6a8b1e21ff40bb66ca5781b02e83db87bb6 authorNiklas Larsson <metaniklas@gmail.com> dateMon 3 Dec 2018, 12:57 (8 years ago) parent595cfb4606ae61
1 file changed+4−4
libs/contrib/Text/Lexer.idr+4−4
libs/contrib/Text/Lexer.idr+4−4
@@ -161,14 +161,14 @@ hexDigits : Lexer
161161hexDigits = some hexDigit
162162
163163||| Recognise a single octal digit
164−||| /[0-8]/
164+||| /[0-7]/
165165octDigit : Lexer
166−octDigit = pred isHexDigit
166+octDigit = pred isOctDigit
167167
168168||| Recognise one or more octal digits
169−||| /[0-8]+/
169+||| /[0-7]+/
170170octDigits : Lexer
171−octDigits = some hexDigit
171+octDigits = some octDigit
172172
173173||| Recognise a single alpha character
174174||| /[A-Za-z]/