// Compiler failed to detect the map lookup nested in the state update and // generate the appropriate builtin for it. contract BuiltinBug = record state = {proofs : map(address, list(string))} entrypoint init() = {proofs = {}} stateful entrypoint createProof(hash : string) = put( state{ proofs[Call.caller] = hash :: state.proofs[Call.caller] } )