non_transition_variant_input_record_fail.out
1 Error [ETYC0372057]: Only `transition` functions can have a record as input or output. 2 --> compiler-test:8:18 3 | 4 8 | function foo(a: credits) -> u8 { 5 | ^^^^^^^^^^ 6 Error [ETYC0372057]: Only `transition` functions can have a record as input or output. 7 --> compiler-test:12:41 8 | 9 12 | function boo(a: address, b: u64) -> credits { 10 | ^^^^^^^ 11 Error [ETYC0372083]: A program must have at least one transition function. 12 --> compiler-test:2:9 13 | 14 2 | program test.alpha { 15 | ^^^^^^^^^