sophia/test/contracts/child_contract_init_bug.aes

9 lines
222 B
Plaintext

contract Identity =
record state = {foo: int, bar: string}
entrypoint init() = {foo = 0, bar = ""}
main contract IdentityService =
stateful entrypoint createNewIdentity() : Identity =
put(())
Chain.create()