Change character-name encoding to support arbitrary Unicode characters
authorChris Hanson <org/chris-hanson/cph>
Wed, 30 Jul 2003 04:12:12 +0000 (04:12 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 30 Jul 2003 04:12:12 +0000 (04:12 +0000)
commit7942300fd8797938a1bd80f3bb451f62bb7d9484
tree8dbc9e1b74c6f0296e15750b30764fed377436e0
parent7d326a53c596f65ff5b493b508d4e7cc01cc1ffb
Change character-name encoding to support arbitrary Unicode characters
using #\U+XXXX syntax.  Prefer this numeric representation for most
ASCII control characters.
v7/src/runtime/char.scm