Recursive datatypes #200
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Created by: UlfNorell
Created by: UlfNorell
Might get away without VM changes if we disallow recursive types crossing contract boundaries to begin with.
Created by: nikita-fuchs
There might be a use case here, but no real necessity that's worth the high effort imho.
Created by: radrow
@UlfNorell How does it break the consensus?
Created by: UlfNorell
There's currently no way to represent a recursive type in the FATE type language, so it needs some VM support.