1  Error [ETYC0372031]: A mapping's key cannot be a tuple
 2      --> compiler-test:3:5
 3       |
 4     3 |     mapping foo: (u32, u32) => u32;
 5       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 6  Error [ETYC0372017]: The type `baz` is not found in the current scope.
 7      --> compiler-test:5:5
 8       |
 9     5 |     mapping floo: baz => u8;
10       |     ^^^^^^^^^^^^^^^^^^^^^^^^
11       |
12       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
13  Error [ETYC0372017]: The type `baz` is not found in the current scope.
14      --> compiler-test:5:5
15       |
16     5 |     mapping floo: baz => u8;
17       |     ^^^^^^^^^^^^^^^^^^^^^^^^
18       |
19       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
20  Error [ETYC0372017]: The type `foo` is not found in the current scope.
21      --> compiler-test:7:5
22       |
23     7 |     mapping floop: foo => foo;
24       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
25       |
26       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
27  Error [ETYC0372017]: The type `foo` is not found in the current scope.
28      --> compiler-test:7:5
29       |
30     7 |     mapping floop: foo => foo;
31       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
32       |
33       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
34  Error [ETYC0372017]: The type `foo` is not found in the current scope.
35      --> compiler-test:7:5
36       |
37     7 |     mapping floop: foo => foo;
38       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
39       |
40       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
41  Error [ETYC0372017]: The type `foo` is not found in the current scope.
42      --> compiler-test:7:5
43       |
44     7 |     mapping floop: foo => foo;
45       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
46       |
47       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
48  Error [ETYC0372017]: The type `foo` is not found in the current scope.
49      --> compiler-test:9:5
50       |
51     9 |     mapping bar: foo => baz;
52       |     ^^^^^^^^^^^^^^^^^^^^^^^^
53       |
54       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
55  Error [ETYC0372017]: The type `foo` is not found in the current scope.
56      --> compiler-test:9:5
57       |
58     9 |     mapping bar: foo => baz;
59       |     ^^^^^^^^^^^^^^^^^^^^^^^^
60       |
61       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
62  Error [ETYC0372017]: The type `baz` is not found in the current scope.
63      --> compiler-test:9:5
64       |
65     9 |     mapping bar: foo => baz;
66       |     ^^^^^^^^^^^^^^^^^^^^^^^^
67       |
68       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
69  Error [ETYC0372017]: The type `baz` is not found in the current scope.
70      --> compiler-test:9:5
71       |
72     9 |     mapping bar: foo => baz;
73       |     ^^^^^^^^^^^^^^^^^^^^^^^^
74       |
75       = If you are using an external type, make sure to preface with the program name. Ex: `credits.alpha/credits` instead of `credits`
76  Error [ETYC0372031]: A mapping's value cannot be a record
77      --> compiler-test:18:5
78       |
79    18 |     mapping real_tokens: address => RealToken;
80       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
81  Error [ETYC0372031]: A mapping's key cannot be a record
82      --> compiler-test:20:5
83       |
84    20 |     mapping owners: RealToken => address;
85       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
86  Error [ETYC0372083]: A program must have at least one transition function.
87      --> compiler-test:2:9
88       |
89     2 | program test.alpha {
90       |         ^^^^^^^^^