@@ -234,10 +234,6 @@ natural = do n <- Tok.natural
234 fc <- lastTokenSpan <$> get
234 fc <- lastTokenSpan <$> get
235 return (n, fromMaybe NoFC fc)
235 return (n, fromMaybe NoFC fc)
237−-- | Parses an integral number
238−integer :: IdrisParser Integer
239−integer = Tok.integer
241-- | Parses a floating point number
237-- | Parses a floating point number
242float :: IdrisParser (Double, FC)
238float :: IdrisParser (Double, FC)
243float = do f <- Tok.double
239float = do f <- Tok.double