real-to-string gives localized string
In a Spoofax project,
<real-to-string(|1)> 4.5results in
"4,5"on a Dutch Windows machine. Switching to an American profile, it results in
"4.5". This causes two kinds of trouble:
Submitted by Guido Wachsmuth on 14 December 2011 at 14:44
- The concrete syntax of a language might only support dots.
real-to-string(|x) ; string-to-realseems to fail.
Log in to post comments