source: tests/.expect/completeTypeError.txt @ 933f32f

ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 933f32f was 7889f14, checked in by Aaron Moss <a3moss@…>, 5 years ago

Regenerate tests for move to un-sized deref in prelude

  • Property mode set to 100644
File size: 4.0 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:( _80_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:( _80_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:( _99_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 _99_0_T (not function type)
135       instance of type _99_0_T (not function type)
136     ... returning
137       _retval__operator_assign: instance of type _99_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.