source: tests/errors/.expect/completeType.txt @ f1b6671

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since f1b6671 was f1b6671, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Unwinding is now handled in exception handling code. That is used to fix one bug, other exception tests added. Noise from the change altered one other test.

  • Property mode set to 100644
File size: 4.2 KB
RevLine 
[cb8a18c]1errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression
[7889f14]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:
[dd857bb]10      Application of
11        Variable Expression: *?: forall
[07de76b]12          DT: data type
[dd857bb]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
[7889f14]20
21
[dd857bb]22      ... to arguments
23        Variable Expression: x: pointer to instance of struct A with body 0
[7889f14]24
[dd857bb]25    ... to: nothing
26  (types:
27    void
28  )
[f1b6671]29  Environment:( _85_2_DT ) -> instance of struct A with body 0 (no widening)
[7889f14]30
31
32Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
[dd857bb]33      Application of
34        Variable Expression: *?: forall
[07de76b]35          DT: data type
[dd857bb]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
[7889f14]43
44
[dd857bb]45      ... to arguments
46        Variable Expression: x: pointer to instance of struct B with body 1
[7889f14]47
[dd857bb]48    ... to: nothing
49  (types:
50    void
51  )
[f1b6671]52  Environment:( _85_2_DT ) -> instance of struct B with body 1 (no widening)
[7889f14]53
[0f35657]54
[4d5e57b]55
[cb8a18c]56errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
[4d5e57b]57  Name: foo
[07ec1a2]58...to:
[4d5e57b]59  Name: v
[0f35657]60
[cb8a18c]61errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
[2c57025]62  Name: baz
[07ec1a2]63...to:
[2c57025]64  Name: v
65
[cb8a18c]66errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
[2c57025]67  Name: quux
[07ec1a2]68...to:
[2c57025]69  Name: v
70
[cb8a18c]71errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
[7889f14]72  Name: baz
[07ec1a2]73...to:
[2c57025]74  Name: y
75
[cb8a18c]76errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
[7889f14]77  Name: quux
[07ec1a2]78...to:
[0f35657]79  Name: y
80
[cb8a18c]81errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
[2c57025]82  Name: baz
[07ec1a2]83...to:
[2c57025]84  Name: z
85
[dd857bb]86      Unsatisfiable alternative:
[3e7c323]87Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
[dd857bb]88            Variable Expression: baz: forall
[07de76b]89              T: sized data type
[dd857bb]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        )
[e6cfa8ff]129        Environment:( _104_0_T ) -> instance of type T (not function type) (no widening)
[dd857bb]130
131      Could not satisfy assertion:
[7889f14]132?=?: pointer to function
[dd857bb]133        ... with parameters
[e6cfa8ff]134          reference to instance of type _104_0_T (not function type)
135          instance of type _104_0_T (not function type)
[dd857bb]136        ... returning
[e6cfa8ff]137          _retval__operator_assign: instance of type _104_0_T (not function type)
[dd857bb]138          ... with attributes:
139            Attribute with name: unused
[c9aba81]140
141
Note: See TracBrowser for help on using the repository browser.