diff options
| author | Eduardo Julian | 2018-08-22 23:25:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-08-22 23:25:04 -0400 |
| commit | 324665cef68fa326d358733d36ed20feba5dbbd6 (patch) | |
| tree | 7694c5759acc1291c938dee830efed5d384094c7 /stdlib/source/lux/macro/poly.lux | |
| parent | 79c2988c1b514657cc384070e66539e51e105987 (diff) | |
No more escaping of unicode.
Diffstat (limited to 'stdlib/source/lux/macro/poly.lux')
| -rw-r--r-- | stdlib/source/lux/macro/poly.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux index 72a56b81d..7b3bc49a2 100644 --- a/stdlib/source/lux/macro/poly.lux +++ b/stdlib/source/lux/macro/poly.lux @@ -12,7 +12,7 @@ ["." maybe] [name ("name/." Codec<Text,Name>)] ["e" error] - ["." number ("nat/." Codec<Text,Nat>)] + ["." number (#+ hex) ("nat/." Codec<Text,Nat>)] ["." text ("text/." Monoid<Text>) format] [collection @@ -131,7 +131,7 @@ (def: (label idx) (-> Nat Code) - (code.local-identifier (text/compose "label\u0000" (nat/encode idx)))) + (code.local-identifier ($_ text/compose "label" text.tab (nat/encode idx)))) (def: #export (with-extension type poly) (All [a] (-> Type (Poly a) (Poly [Code a]))) |