source: tests/.expect/completeTypeError.txt @ bd87a9ad

arm-ehjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since bd87a9ad was bd87a9ad, checked in by Peter A. Buhr <pabuhr@…>, 2 years ago

update output after adding to builtins

  • Property mode set to 100644
File size: 4.2 KB
Line 
1completeTypeError.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: object type
13          function
14        ... with parameters
15          intrinsic pointer to instance of type DT (not function type)
16        ... returning
17          _retval__operator_deref: reference to instance of type DT (not function type)
18          ... with attributes:
19            Attribute with name: unused
20
21
22      ... to arguments
23        Variable Expression: x: pointer to instance of struct A with body 0
24
25    ... to: nothing
26  (types:
27    void
28  )
29  Environment:( _83_4_DT ) -> instance of struct A with body 0 (no widening)
30
31
32Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
33      Application of
34        Variable Expression: *?: forall
35          DT: object type
36          function
37        ... with parameters
38          intrinsic pointer to instance of type DT (not function type)
39        ... returning
40          _retval__operator_deref: reference to instance of type DT (not function type)
41          ... with attributes:
42            Attribute with name: unused
43
44
45      ... to arguments
46        Variable Expression: x: pointer to instance of struct B with body 1
47
48    ... to: nothing
49  (types:
50    void
51  )
52  Environment:( _83_4_DT ) -> instance of struct B with body 1 (no widening)
53
54
55
56completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
57  Name: foo
58...to:
59  Name: v
60
61completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
62  Name: baz
63...to:
64  Name: v
65
66completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
67  Name: quux
68...to:
69  Name: v
70
71completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
72  Name: baz
73...to:
74  Name: y
75
76completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
77  Name: quux
78...to:
79  Name: y
80
81completeTypeError.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
82  Name: baz
83...to:
84  Name: z
85
86      Unsatisfiable alternative:
87Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
88            Variable Expression: baz: forall
89              T: sized object type
90              ... with assertions
91                ?=?: pointer to function
92                ... with parameters
93                  reference to instance of type T (not function type)
94                  instance of type T (not function type)
95                ... returning
96                  _retval__operator_assign: instance of type T (not function type)
97                  ... with attributes:
98                    Attribute with name: unused
99
100
101                ?{}: pointer to function
102                ... with parameters
103                  reference to instance of type T (not function type)
104                ... returning nothing
105
106                ?{}: pointer to function
107                ... with parameters
108                  reference to instance of type T (not function type)
109                  instance of type T (not function type)
110                ... returning nothing
111
112                ^?{}: pointer to function
113                ... with parameters
114                  reference to instance of type T (not function type)
115                ... returning nothing
116
117
118              function
119            ... with parameters
120              pointer to instance of type T (not function type)
121            ... returning nothing
122
123          ... to arguments
124            Variable Expression: z: pointer to instance of type T (not function type)
125
126        (types:
127          void
128        )
129        Environment:( _102_0_T ) -> instance of type T (not function type) (no widening)
130
131      Could not satisfy assertion:
132?=?: pointer to function
133        ... with parameters
134          reference to instance of type _102_0_T (not function type)
135          instance of type _102_0_T (not function type)
136        ... returning
137          _retval__operator_assign: instance of type _102_0_T (not function type)
138          ... with attributes:
139            Attribute with name: unused
140
141
Note: See TracBrowser for help on using the repository browser.