Skip to content

Modify the parser to enforce fully annotated types for contract & instance method #226

@d-xo

Description

@d-xo

mkMethod s = error $ "Internal Error: contract methods must be fully typed: " <> show s

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions