@@ -801,13 +801,13 @@ pCaseOpt syn = do lhs <- pExpr (syn { inPattern = True })
801801 return (lhs, rhs)
802802
803803modifyConst :: SyntaxInfo -> FC -> PTerm -> PTerm
804−modifyConst syn fc (PConstant (I x))
804+modifyConst syn fc (PConstant (BI x))
805805 | not (inPattern syn)
806806 = PAlternative False
807− [PApp fc (PRef fc (UN "fromInteger")) [pexp (PConstant (I x))],
808− PConstant (I x), PConstant (BI (toEnum x))]
807+ [PApp fc (PRef fc (UN "fromInteger")) [pexp (PConstant (I (fromInteger x)))],
808+ PConstant (I (fromInteger x)), PConstant (BI x)]
809809 | otherwise = PAlternative False
810− [PConstant (I x), PConstant (BI (toEnum x))]
810+ [PConstant (I (fromInteger x)), PConstant (BI x)]
811811modifyConst syn fc x = x
812812
813813pList syn = do lchar '['; fc <- pfc; xs <- sepBy (pExpr syn) (lchar ','); lchar ']'
@@ -1106,8 +1106,7 @@ pConstant = do reserved "Integer";return BIType
11061106 <|> do reserved "Bits32"; return B32Type
11071107 <|> do reserved "Bits64"; return B64Type
11081108 <|> try (do f <- float; return $ Fl f)
1109−-- <|> try (do i <- natural; lchar 'L'; return $ BI i)
1110− <|> try (do i <- natural; return $ I (fromInteger i))
1109+ <|> try (do i <- natural; return $ BI i)
11111110 <|> try (do s <- strlit; return $ Str s)
11121111 <|> try (do c <- chlit; return $ Ch c)
11131112