on master help sign in
Parse rule for big integers is broken
76ac83bEdwin Brady
CHANGELOG+1
@@ -4,6 +4,7 @@ New in 0.9.2:
4User visible changes:
4User visible changes:
5
5
6* case expressions allowed in type signatures
6* case expressions allowed in type signatures
7+* Library extensions in prelude.vect and prelude.algebra
7
8
8Internal changes:
9Internal changes:
9
10
src/Idris/Parser.hs+1−1
@@ -926,7 +926,7 @@ pConstant = do reserved "Integer";return BIType
926 <|> do reserved "String"; return StrType
926 <|> do reserved "String"; return StrType
927 <|> do reserved "Ptr"; return PtrType
927 <|> do reserved "Ptr"; return PtrType
928 <|> try (do f <- float; return $ Fl f)
928 <|> 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)
930 <|> try (do i <- natural; return $ I (fromInteger i))
930 <|> try (do i <- natural; return $ I (fromInteger i))
931 <|> try (do s <- strlit; return $ Str s)
931 <|> try (do s <- strlit; return $ Str s)
932 <|> try (do c <- chlit; return $ Ch c)
932 <|> try (do c <- chlit; return $ Ch c)