Compile error for illegal return value
type void = unit;
void f() { printc('a'); printc('\n'); }
yields a compile error: Missing return statement, the function 'f' must return a value of type 'void'! void f() { printc('a'); printc('\n'); }
^