Idris-dev icon indicating copy to clipboard operation
Idris-dev copied to clipboard

parseInteger and parsePositive are incorrect on Int

Open Riateche opened this issue 5 years ago • 0 comments

Steps to Reproduce

In REPL:

:module Data.String
the (Maybe Int) (parseInteger "1111111111111111111111111")

Expected Behavior

parseInteger should return Nothing if the input can't be represented as an Int.

Observed Behavior

It returns incorrect value: Just 8375319363688624583.

Same issue with parsePositive.

Riateche avatar May 30 '20 16:05 Riateche