microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
37 stars 20 forks source link

Adding a JSON parser based on Trieste #92

Closed matajoh closed 6 months ago

matajoh commented 6 months ago

This code acts as both additional sample code and also as a fully-functional JSON parser and emitter. In addition to the standard Trieste tests it also includes a test driver which runs tests from https://github.com/nst/JSONTestSuite to insure full RFC 8259 compliance.

Further, this PR adds a UTF-8 header to Trieste which provides a range of useful Unicode parsing and conversion functions.