Merge pull request #4597 from dkeehl/dkeehl-lexer-fix

fix octal digits lexer
idris-lang · Dec 3, 2018 · d063e6a · d063e6a
2 parents 595cfb4 + 606ae61
commit d063e6a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/libs/contrib/Text/Lexer.idr b/libs/contrib/Text/Lexer.idr
@@ -161,14 +161,14 @@ hexDigits : Lexer
 hexDigits = some hexDigit
 
 ||| Recognise a single octal digit
-||| /[0-8]/
+||| /[0-7]/
 octDigit : Lexer
-octDigit = pred isHexDigit
+octDigit = pred isOctDigit
 
 ||| Recognise one or more octal digits
-||| /[0-8]+/
+||| /[0-7]+/
 octDigits : Lexer
-octDigits = some hexDigit
+octDigits = some octDigit
 
 ||| Recognise a single alpha character
 ||| /[A-Za-z]/