Changeset cd6a6ff for tests/errors/.expect
- Timestamp:
- Dec 3, 2020, 10:44:40 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 1db306a
- Parents:
- b37515b
- Location:
- tests/errors/.expect
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/errors/.expect/completeType.nast.x64.txt
rb37515b rcd6a6ff 6 6 Name: x 7 7 8 ... to: nothing Alternatives are: 8 ... to: nothing 9 ... with resolved type: 10 void Alternatives are: 9 11 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: 10 12 Application of … … 17 19 reference to instance of type DT (not function type) 18 20 21 ... with resolved type: 22 pointer to forall 23 [unbound]:data type 24 function 25 ... with parameters 26 pointer to instance of type [unbound] (not function type) 27 ... returning 28 reference to instance of type [unbound] (not function type) 29 19 30 ... to arguments 20 31 Variable Expression: x: pointer to instance of struct B with body 32 ... with resolved type: 33 pointer to instance of struct B with body 21 34 35 ... with resolved type: 36 reference to instance of struct B with body 22 37 ... to: nothing 38 ... with resolved type: 39 void 23 40 (types: 24 41 void 25 42 ) 26 Environment:( _99_2_DT) -> instance of struct B with body (no widening)43 Environment:([unbound]) -> instance of struct B with body (no widening) 27 44 28 45 … … 37 54 reference to instance of type DT (not function type) 38 55 56 ... with resolved type: 57 pointer to forall 58 [unbound]:data type 59 function 60 ... with parameters 61 pointer to instance of type [unbound] (not function type) 62 ... returning 63 reference to instance of type [unbound] (not function type) 64 39 65 ... to arguments 40 66 Variable Expression: x: pointer to instance of struct A without body 67 ... with resolved type: 68 pointer to instance of struct A without body 41 69 70 ... with resolved type: 71 reference to instance of struct A without body 42 72 ... to: nothing 73 ... with resolved type: 74 void 43 75 (types: 44 76 void 45 77 ) 46 Environment:( _99_2_DT) -> instance of struct A without body (no widening)78 Environment:([unbound]) -> instance of struct A without body (no widening) 47 79 48 80 … … 112 144 ... returning nothing 113 145 146 ... with resolved type: 147 pointer to forall 148 [unbound]:sized data type 149 ... with assertions 150 ?=?: pointer to function 151 ... with parameters 152 reference to instance of type [unbound] (not function type) 153 instance of type [unbound] (not function type) 154 ... returning 155 instance of type [unbound] (not function type) 156 157 ?{}: pointer to function 158 ... with parameters 159 reference to instance of type [unbound] (not function type) 160 ... returning nothing 161 162 ?{}: pointer to function 163 ... with parameters 164 reference to instance of type [unbound] (not function type) 165 instance of type [unbound] (not function type) 166 ... returning nothing 167 168 ^?{}: pointer to function 169 ... with parameters 170 reference to instance of type [unbound] (not function type) 171 ... returning nothing 172 173 174 function 175 ... with parameters 176 pointer to instance of type [unbound] (not function type) 177 ... returning nothing 178 114 179 ... to arguments 115 180 Variable Expression: z: pointer to instance of type T (not function type) 181 ... with resolved type: 182 pointer to instance of type T (not function type) 116 183 with 1 pending inference slots 117 184 185 ... with resolved type: 186 void 118 187 (types: 119 188 void 120 189 ) 121 Environment:( _118_0_T) -> instance of type T (not function type) (no widening)190 Environment:([unbound]) -> instance of type T (not function type) (no widening) 122 191 123 192 Could not satisfy assertion: 124 193 ?=?: pointer to function 125 194 ... with parameters 126 reference to instance of type _118_0_T(not function type)127 instance of type _118_0_T(not function type)195 reference to instance of type [unbound] (not function type) 196 instance of type [unbound] (not function type) 128 197 ... returning 129 instance of type _118_0_T(not function type)198 instance of type [unbound] (not function type) 130 199 -
tests/errors/.expect/completeType.oast.x64.txt
rb37515b rcd6a6ff 6 6 Name: x 7 7 8 ... to: nothing Alternatives are: 8 ... to: nothing 9 with resolved type: 10 void Alternatives are: 9 11 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: 10 12 Application of … … 20 22 21 23 24 with resolved type: 25 pointer to forall 26 [unbound]:data type 27 function 28 ... with parameters 29 intrinsic pointer to instance of type [unbound] (not function type) 30 ... returning 31 _retval__operator_deref: reference to instance of type [unbound] (not function type) 32 ... with attributes: 33 Attribute with name: unused 34 35 22 36 ... to arguments 23 37 Variable Expression: x: pointer to instance of struct A with body 0 24 38 with resolved type: 39 pointer to instance of struct A with body 0 40 41 with resolved type: 42 reference to instance of struct A with body 0 25 43 ... to: nothing 44 with resolved type: 45 void 26 46 (types: 27 47 void 28 48 ) 29 Environment: -> instance of struct A with body 0 (no widening)49 Environment:([unbound]) -> instance of struct A with body 0 (no widening) 30 50 31 51 … … 43 63 44 64 65 with resolved type: 66 pointer to forall 67 [unbound]:data type 68 function 69 ... with parameters 70 intrinsic pointer to instance of type [unbound] (not function type) 71 ... returning 72 _retval__operator_deref: reference to instance of type [unbound] (not function type) 73 ... with attributes: 74 Attribute with name: unused 75 76 45 77 ... to arguments 46 78 Variable Expression: x: pointer to instance of struct B with body 1 47 79 with resolved type: 80 pointer to instance of struct B with body 1 81 82 with resolved type: 83 reference to instance of struct B with body 1 48 84 ... to: nothing 85 with resolved type: 86 void 49 87 (types: 50 88 void 51 89 ) 52 Environment: -> instance of struct B with body 1 (no widening)90 Environment:([unbound]) -> instance of struct B with body 1 (no widening) 53 91 54 92 … … 121 159 ... returning nothing 122 160 161 with resolved type: 162 pointer to forall 163 [unbound]:sized data type 164 ... with assertions 165 ?=?: pointer to function 166 ... with parameters 167 reference to instance of type [unbound] (not function type) 168 instance of type [unbound] (not function type) 169 ... returning 170 _retval__operator_assign: instance of type [unbound] (not function type) 171 ... with attributes: 172 Attribute with name: unused 173 174 175 ?{}: pointer to function 176 ... with parameters 177 reference to instance of type [unbound] (not function type) 178 ... returning nothing 179 180 ?{}: pointer to function 181 ... with parameters 182 reference to instance of type [unbound] (not function type) 183 instance of type [unbound] (not function type) 184 ... returning nothing 185 186 ^?{}: pointer to function 187 ... with parameters 188 reference to instance of type [unbound] (not function type) 189 ... returning nothing 190 191 192 function 193 ... with parameters 194 pointer to instance of type [unbound] (not function type) 195 ... returning nothing 196 123 197 ... to arguments 124 198 Variable Expression: z: pointer to instance of type T (not function type) 125 199 with resolved type: 200 pointer to instance of type T (not function type) 201 202 with resolved type: 203 void 126 204 (types: 127 205 void 128 206 ) 129 Environment: -> instance of type T (not function type) (no widening)207 Environment:([unbound]) -> instance of type T (not function type) (no widening) 130 208 131 209 Could not satisfy assertion: 132 210 ?=?: pointer to function 133 211 ... with parameters 134 reference to instance of type _110_0_T(not function type)135 instance of type _110_0_T(not function type)212 reference to instance of type [unbound] (not function type) 213 instance of type [unbound] (not function type) 136 214 ... returning 137 _retval__operator_assign: instance of type _110_0_T(not function type)215 _retval__operator_assign: instance of type [unbound] (not function type) 138 216 ... with attributes: 139 217 Attribute with name: unused
Note: See TracChangeset
for help on using the changeset viewer.