search

ipld / edelweiss

Decentralized Protocol Compiler
Other
16 stars 6 forks source link

add default case to inductive type #25

Closed petar closed 2 years ago

petar commented 2 years ago

Add support for a default case in inductive types. A default case is a case whose string key is not equal to any of the defined inductive cases' keys. When a default case is allowed, the user defines the acceptable value type for the default case (e.g. Any).