PSL for AMD64_ext: correct a bug in code generation introduced in last update (addressing relative to register R12 only)
Package mrvlimit: Code cleanup (mostly removal of unnecessary << ... >> constructs).
PSL for 64bit Linux:
I believe you are mistaken: Eberhard's change was not to CSL or PSL, but to Reduce proper. Hence, the switch is available in both CSL and PSL Reduce. However, as I tried to explain in a previous post, PSL is not Unicode-ready, which means that printing of non-ASCII characters does not work as expected: Reduce (Free PSL version, revision 4209), 4-Oct-2017 ... 1: off nat; 2: on unicode_in_off_nat; 3: #alpha; + #beta;; α + β$ 4: ab + #beta;; β + ab$ 5: off unicode_in_off_nat; 6: ab + #beta;; !�!� +...
Updated list of known switches
The exclamation mark is the escape character. See section 2.3 (Identifiers) of the Reduce manual. Currently, Unicode is not properly supported in Reduce: if you want to use non-ASCII characters in identifiers, you must escape them on input. You can use them in strings. There is no other way. CSL and PSL Reduce do not really differ in that respect. The Unicode characters are not altered: When the switch NAT is set to off, output is written so that it can be read by the Reduce reader without any changes....
Proper support for multibyte characters in PSL is not an easy task, as the assumption of 1 character = 1 byte is implicit in PSL. What will probably be implemented is a way to print and read multibyte UTF-8 characters in a way that they appear to be single character objects. Rainer
int2id is guaranteed to work only for an argument in the range 0 .. 127. For the general case use int2wideid. Its argument is the Unicode codepoint (which is independent of the encoding). Since you can enter any Unicode character via its numeric codepoint, as either hexnumber #Xxxxx; or decimal number #Unnnn; you can input ASCII EOT (aka ctrl-D) as #U4; : symbolic write '!#U4; ; Rainer