1  Error [ETYC0372017]: The type `Foo` is not found in the current scope.
 2      --> compiler-test:4:9
 3       |
 4     4 |         let a: Foo = Foo { };
 5       |         ^^^^^^^^^^^^^^^^^^^^^
 6       |
 7       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
 8  Error [ETYC0372005]: Unknown struct or record `Foo`
 9      --> compiler-test:4:22
10       |
11     4 |         let a: Foo = Foo { };
12       |                      ^^^
13  Error [ETYC0372083]: A program must have at least one transition function.
14      --> compiler-test:2:9
15       |
16     2 | program test.alpha {
17       |         ^^^^^^^^^