Improve type checker - Githubissues

stacks-network / clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.

GNU General Public License v3.0

12 stars 11 forks source link

Open krl opened 4 weeks ago

krl commented 4 weeks ago

The typechecker as is, is not correct enough to reliably produce correct webassembly and will need to be improved.

Various workarounds involving explicitly overriding types in typemaps, as is the case in the current codebase, only get us that far.

aldur commented 1 day ago

This needs discussing plus additional scoping.