shrub/pkg/arvo/sys
Alex Shelkovnykov 3537ef56c3 Fix JSON parser decoding for UTF8
JSON supports Unicode as both UTF8 sequences and escaped UTF16. UTF8 is
encoded as between 2 and 4 bytes, the first byte of which governs the
length. The JSON parser was previously accepting any non-ASCII bytes as
UTF8 in any order.

See:
- https://www.crockford.com/mckeeman.html
- https://www.json.org/json-en.html
- https://en.wikipedia.org/wiki/UTF-8#Encoding
2023-04-11 14:59:15 -06:00
..
vane Merge pull request #6447 from urbit/jb/drip-hurl 2023-04-11 11:28:20 -04:00
arvo.hoon arvo: print module compilation times 2023-04-06 23:52:53 -04:00
hoon.hoon Merge pull request #6373 from urbit/m/dumb-apes 2023-03-15 15:00:30 -04:00
lull.hoon Merge pull request #6413 from urbit/i/6407/zeal 2023-03-24 18:36:09 +02:00
zuse.hoon Fix JSON parser decoding for UTF8 2023-04-11 14:59:15 -06:00