search

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
26 stars 9 forks source link

New grammar #8

Closed uncomputable closed 7 months ago

uncomputable commented 8 months ago

Implementation of new syntax and semantics from #6: types, values, match statements, unwraps.

The Simplicity compiler panics on every error, as on master. I will fix this in a follow-up PR.

Types and patterns are parsed nonrecursively. Expressions are more complicated and are currently parsed recursively. There will be a follow-up PR.

uncomputable commented 8 months ago

@apoelstra I don't expect an in-depth review, but feel free to skim the code and tell me what you see.