Forbid non-serializable inhabitants in compound data-types.

aiken-lang / aiken

A modern smart contract platform for Cardano

https://aiken-lang.org

Apache License 2.0

454 stars 84 forks source link

Closed KtorZ closed 6 months ago

KtorZ commented 6 months ago

Note: the stdlib still compiles, type-check and succeed on all tests.

Closes #827.

rvcas commented 6 months ago

closes this?