real-to-string gives localized string
In a Spoofax project,
<real-to-string(|1)> 4.5
results 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-real
seems to fail.
Log in to post comments