76ac83b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Parse rule for big integers is broken

commit76ac83b53b3f6894f51f219f4e55f981d197ff93 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateMon 20 Feb 2012, 11:40 (15 years ago) parent0607514

2 files changed+2−1

unifiedsplit

CHANGELOG+1

@@ -4,6 +4,7 @@ New in 0.9.2:

44User visible changes:

66* case expressions allowed in type signatures

7+* Library extensions in prelude.vect and prelude.algebra

89Internal changes:

910

src/Idris/Parser.hs+1−1

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

926926 <|> do reserved "String"; return StrType

927927 <|> do reserved "Ptr"; return PtrType

928928 <|> try (do f <- float; return $ Fl f)

929− <|> try (do i <- natural; lchar 'L'; return $ BI i)

929+-- <|> try (do i <- natural; lchar 'L'; return $ BI i)

930930 <|> try (do i <- natural; return $ I (fromInteger i))

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

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