1  Error [ETYC0372113]: Cannot define a function with no parameters.
 2      --> compiler-test:3:5
 3       |
 4     3 |     function x() -> u8 {
 5       |     ^^^^^^^^^^^^^^^^^^^^
 6     4 |         return 0u8;
 7       |         ^^^^^^^^^^^
 8     5 |     }
 9       |     ^
10  Error [ETYC0372170]: Cannot define a function with only empty parameters.
11      --> compiler-test:6:5
12       |
13     6 |     function y(a: [u8;0]) -> [u8;0] {
14       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
15     7 |         return a;
16       |         ^^^^^^^^^
17     8 |     }
18       |     ^
19  Error [ETYC0372083]: A program must have at least one transition function.
20      --> compiler-test:2:9
21       |
22     2 | program test.alpha {
23       |         ^^^^^^^^^