converting Json to big Int fails

[legrostdg]

It appears that Data.Int Int's need to be smaller than 2^31-1. So we can't convert "2311048878.0" to an Int with purescript-argonaut-generic-codecs. That's quite unfortunate, especially coming from Haskell... What should we do to fix this?

purescript/purescript-integers#15

[eskimor]

I am not sure I follow the problem. If Data.Int only allows numbers smaller than 2^31, this should either be fixed there or we should add another type, e.g. BigInt which allows larger numbers. Not sure, why this should be an issue of purescript-argonaut-generic-codecs?

[legrostdg]

If purescript-integers fixes the problem and allows Int bigger than 2^31-1, then there is nothing to do in purescript-argonaut-generic-codecs, so we can close this issue. If they can't or don't want to, this BigInt has to be introduced in purescript-argonaut-generic-codecs.

This is frustrating: I had to improve the error messages of purescript-argonaut-generic-codecs to diagnose the problem (the decoding of a big datatype just failed without much information), and 2^31 is not that big.

I've just seen https://github.com/sharkdp/purescript-bigints but it requires an external js lib...

[eskimor]

Uhh, now I get it - yeah, because Int is handled as a primitive, some kind of change would be needed.

[eskimor]

I would have naively assumed 2^64 to be the limit too. Those are mean problems to solve. Great, we have better error messages now, though!

[legrostdg]

https://github.com/purescript-contrib/purescript-precise

seems to be the de-facto huge int library.