proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1b986e5f9764: adjust generated Scala to make it work with scalac -old-syntax and -new-syntax…
- Branches
- Unknown
- Tags