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