Idris2-boot/tests/chez/chez009/run
Edwin Brady 1a4f424259 Support UTF8 strings
When writing to ttc, need to take the length in bytes rather than the
length in characters. Also need to write to scheme in the appropriate
format for each scheme system.

While we're at it, Idris 1 supports unicode identifiers (although we
don't encourage it :)) so this allows any characeter >127 in an
identifier.
2019-09-28 14:08:23 +01:00

4 lines
45 B
Plaintext
Executable File

$1 --no-banner uni.idr < input
rm -rf build