source: tests/errors/.expect/completeType.nast.x64.txt @ 914844e

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 914844e was 914844e, checked in by Thierry Delisle <tdelisle@…>, 14 months ago

fix attributes and completeType error for new ast (only x64)

  • Property mode set to 100644
File size: 3.9 KB
Line 
1errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression
2Generated Cast of:
3  Applying untyped:
4    Name: *?
5  ...to:
6    Name: x
7
8... to: nothing Alternatives are:
9Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
10      Application of
11        Variable Expression: *?: forall
12          DT: data type
13          function
14        ... with parameters
15          pointer to instance of type DT (not function type)
16        ... returning
17          reference to instance of type DT (not function type)
18
19        ... to arguments
20        Variable Expression: x: pointer to instance of struct B with body
21
22    ... to: nothing
23  (types:
24    void
25  )
26  Environment:( _99_2_DT ) -> instance of struct B with body (no widening)
27
28
29Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
30      Application of
31        Variable Expression: *?: forall
32          DT: data type
33          function
34        ... with parameters
35          pointer to instance of type DT (not function type)
36        ... returning
37          reference to instance of type DT (not function type)
38
39        ... to arguments
40        Variable Expression: x: pointer to instance of struct A without body
41
42    ... to: nothing
43  (types:
44    void
45  )
46  Environment:( _99_2_DT ) -> instance of struct A without body (no widening)
47
48
49
50errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
51  Name: foo
52...to:
53  Name: v
54
55errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
56  Name: baz
57...to:
58  Name: v
59
60errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
61  Name: quux
62...to:
63  Name: v
64
65errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
66  Name: baz
67...to:
68  Name: y
69
70errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
71  Name: quux
72...to:
73  Name: y
74
75errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
76  Name: baz
77...to:
78  Name: z
79
80      Unsatisfiable alternative:
81Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
82            Variable Expression: baz: forall
83              T: sized data type
84              ... with assertions
85                ?=?: pointer to function
86                ... with parameters
87                  reference to instance of type T (not function type)
88                  instance of type T (not function type)
89                ... returning
90                  instance of type T (not function type)
91
92                ?{}: pointer to function
93                ... with parameters
94                  reference to instance of type T (not function type)
95                ... returning nothing
96
97                ?{}: pointer to function
98                ... with parameters
99                  reference to instance of type T (not function type)
100                  instance of type T (not function type)
101                ... returning nothing
102
103                ^?{}: pointer to function
104                ... with parameters
105                  reference to instance of type T (not function type)
106                ... returning nothing
107
108
109              function
110            ... with parameters
111              pointer to instance of type T (not function type)
112            ... returning nothing
113
114            ... to arguments
115            Variable Expression: z: pointer to instance of type T (not function type)
116          with 1 pending inference slots
117
118        (types:
119          void
120        )
121        Environment:( _118_0_T ) -> instance of type T (not function type) (no widening)
122
123      Could not satisfy assertion:
124?=?: pointer to function
125        ... with parameters
126          reference to instance of type _118_0_T (not function type)
127          instance of type _118_0_T (not function type)
128        ... returning
129          instance of type _118_0_T (not function type)
130
Note: See TracBrowser for help on using the repository browser.