BlockstreamResearch / simfony

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

Some error improvements #28

Closed apoelstra closed 4 months ago

apoelstra commented 4 months ago

Mostly, moves unwraps out of hiding into the compiler where they belong. I did not vet that any of the remaining unwrap()s are actually correct. But I was able to eliminate a ton of them that I was sure were correct.