search

BlockstreamResearch / simfony

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

Infallible assertions #37

Closed uncomputable closed 3 months ago

uncomputable commented 3 months ago

Introduce infallible assertions and use them in the compiler.

It turns out, assertions can fail if the source type of the child is a unit or sum type. No upstream fix is needed.