runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

flat parser: add support for parsing data constants #328

Closed SchmErik closed 2 years ago

SchmErik commented 2 years ago

This pull request enables the flat parser to decode data constants. TUnit tests have been added in order to exercise the new code. No concrete tests were added because the evaluation of data constants will result in the CBOR bytestring encoding for uplc but and kplc will generate the textual representation of the data constant. Instead of writing another class of tests, the unit tests are sufficient.