477820a · Idris-dev · git.iko.soy

src/Idris/Parser.hs+5−6

compare with master

unifiedsplit

@@ -801,13 +801,13 @@ pCaseOpt syn = do lhs <- pExpr (syn { inPattern = True })

801 return (lhs, rhs)

802

803modifyConst :: SyntaxInfo -> FC -> PTerm -> PTerm

804−modifyConst syn fc (PConstant (I x))

804+modifyConst syn fc (PConstant (BI x))

805 | not (inPattern syn)

806 = PAlternative False

807− [PApp fc (PRef fc (UN "fromInteger")) [pexp (PConstant (I x))],

807+ [PApp fc (PRef fc (UN "fromInteger")) [pexp (PConstant (I (fromInteger x)))],

808− PConstant (I x), PConstant (BI (toEnum x))]

808+ PConstant (I (fromInteger x)), PConstant (BI x)]

809 | otherwise = PAlternative False

810− [PConstant (I x), PConstant (BI (toEnum x))]

810+ [PConstant (I (fromInteger x)), PConstant (BI x)]

811modifyConst syn fc x = x

812

813pList syn = do lchar '['; fc <- pfc; xs <- sepBy (pExpr syn) (lchar ','); lchar ']'

@@ -1106,8 +1106,7 @@ pConstant = do reserved "Integer";return BIType

1106 <|> do reserved "Bits32"; return B32Type

1107 <|> do reserved "Bits64"; return B64Type

1108 <|> 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)

1111 <|> try (do s <- strlit; return $ Str s)

1110 <|> try (do s <- strlit; return $ Str s)

1112 <|> try (do c <- chlit; return $ Ch c)

1111 <|> try (do c <- chlit; return $ Ch c)

1113

1112

test/reg016/expectednew file+6

@@ -0,0 +1,6 @@

1+4294967295

2+4294967296

3+4294967297

4+-1

5+0

6+1

test/reg016/reg016.idrnew file+11

@@ -0,0 +1,11 @@

1+module Main

2+

3+main : IO ()

4+main = do print $ the Integer 4294967295

5+ print $ the Integer 4294967296

6+ print $ the Integer 4294967297

7+ print $ the Int 4294967295

8+ print $ the Int 4294967296

9+ print $ the Int 4294967297

10+

11+

test/reg016/runnew file+4

@@ -0,0 +1,4 @@

1+#!/bin/bash

2+idris $@ reg016.idr -o reg016

3+./reg016

4+rm -f reg016 *.ibc