Changeset 12268 for src/Pugs/Lexer.hs

Timestamp:

08/15/06 19:18:47 (2 years ago)

Author:

audreyt

Message:

* Pugs.Lexer: "\08..." and "\09..." are treated as "\0" and then "8..." or "9...".

Files:

• src/Pugs/Lexer.hs (modified) (1 diff)

src/Pugs/Lexer.hs

@@ -280 +280 @@
         [ many1 digit >>= \ds -> case ds of
             "0" -> return [0]
+            -- "\08..." and "\09..." are treated as "\0" and then "8..." or "9...".
+            ('0':xs@(x:_)) | x == '8' || x == '9' -> return (0:map (toInteger . ord) xs)
             _   -> error ("Error: Invalid escape sequence \\" ++ ds ++ "; write as decimal \\d" ++ ds ++ " or octal \\o" ++ ds ++ " instead") -- $ return [read ds]
         , based 'o'  8 octDigit