fix(typechecker): location of errors for wrong constructors in pattern-matching - Githubissues

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language

https://scilla-lang.org

GNU General Public License v3.0

240 stars 78 forks source link

fix(typechecker): location of errors for wrong constructors in pattern-matching #1132

Closed anton-trunov closed 2 years ago

anton-trunov commented 2 years ago

Cherry-picking master branch...