Check user type declaration - Githubissues

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Check user type declaration #233

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Checks user-defined types for various types of errors.

Things that are checked:

Type is already defined
Constructor name is already defined
Record-field name is already defined
Type-argument of constructor is not defined
Type-argument of xonstructor has wrong kind (takes wrong number of arguments)