on master help sign in
fix octal digits lexer
commit606ae6135a59646d705a9330422e6f185063a426 authordkeehl <dkeehl@gmail.com> dateSun 25 Nov 2018, 13:43 (8 years ago) parent595cfb4
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]/