search

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Use `BigInt` to represent Scheme numbers #16

Closed acieroid closed 3 years ago

acieroid commented 3 years ago

The gambit/compiler.scm benchmarks contains literal numbers such as: 9223372036854775808, which obviously do not fit into an Int. This is throwing an error in the parsing phase, but will require changing IntLattice to use BigInt rather than simply Int.

jevdplas commented 3 years ago

Closed in ecc3b8fa077dc0d25ac4e6cc182fc2777e190e19.