This issue is about adding semantics to the source primitive FromTo IntT StrT such that it converts any integer into the corresponding string, e.g. 12 becomes "12" and -5 becomes "-5". (Don't generate "~5" for negative 5.)
The compiler should implement this efficiently also for very large integers. Ideally, this int-to-string conversion should be directly supported by CakeML's verified bignum library.
This issue is about adding semantics to the source primitive
FromTo IntT StrTsuch that it converts any integer into the corresponding string, e.g. 12 becomes "12" and -5 becomes "-5". (Don't generate "~5" for negative 5.)The compiler should implement this efficiently also for very large integers. Ideally, this int-to-string conversion should be directly supported by CakeML's verified bignum library.