[cb8a18c] | 1 | errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression |
---|
[7889f14] | 2 | Generated Cast of: |
---|
| 3 | Applying untyped: |
---|
| 4 | Name: *? |
---|
| 5 | ...to: |
---|
| 6 | Name: x |
---|
| 7 | |
---|
[cd6a6ff] | 8 | ... to: nothing |
---|
| 9 | with resolved type: |
---|
| 10 | void Alternatives are: |
---|
[7889f14] | 11 | Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: |
---|
[dd857bb] | 12 | Application of |
---|
| 13 | Variable Expression: *?: forall |
---|
[07de76b] | 14 | DT: data type |
---|
[dd857bb] | 15 | function |
---|
| 16 | ... with parameters |
---|
| 17 | intrinsic pointer to instance of type DT (not function type) |
---|
| 18 | ... returning |
---|
| 19 | _retval__operator_deref: reference to instance of type DT (not function type) |
---|
| 20 | ... with attributes: |
---|
| 21 | Attribute with name: unused |
---|
[7889f14] | 22 | |
---|
| 23 | |
---|
[cd6a6ff] | 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 | |
---|
[dd857bb] | 36 | ... to arguments |
---|
| 37 | Variable Expression: x: pointer to instance of struct A with body 0 |
---|
[cd6a6ff] | 38 | with resolved type: |
---|
| 39 | pointer to instance of struct A with body 0 |
---|
[7889f14] | 40 | |
---|
[cd6a6ff] | 41 | with resolved type: |
---|
| 42 | reference to instance of struct A with body 0 |
---|
[dd857bb] | 43 | ... to: nothing |
---|
[cd6a6ff] | 44 | with resolved type: |
---|
| 45 | void |
---|
[dd857bb] | 46 | (types: |
---|
| 47 | void |
---|
| 48 | ) |
---|
[cd6a6ff] | 49 | Environment:([unbound]) -> instance of struct A with body 0 (no widening) |
---|
[7889f14] | 50 | |
---|
| 51 | |
---|
| 52 | Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: |
---|
[dd857bb] | 53 | Application of |
---|
| 54 | Variable Expression: *?: forall |
---|
[07de76b] | 55 | DT: data type |
---|
[dd857bb] | 56 | function |
---|
| 57 | ... with parameters |
---|
| 58 | intrinsic pointer to instance of type DT (not function type) |
---|
| 59 | ... returning |
---|
| 60 | _retval__operator_deref: reference to instance of type DT (not function type) |
---|
| 61 | ... with attributes: |
---|
| 62 | Attribute with name: unused |
---|
[7889f14] | 63 | |
---|
| 64 | |
---|
[cd6a6ff] | 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 | |
---|
[dd857bb] | 77 | ... to arguments |
---|
| 78 | Variable Expression: x: pointer to instance of struct B with body 1 |
---|
[cd6a6ff] | 79 | with resolved type: |
---|
| 80 | pointer to instance of struct B with body 1 |
---|
[7889f14] | 81 | |
---|
[cd6a6ff] | 82 | with resolved type: |
---|
| 83 | reference to instance of struct B with body 1 |
---|
[dd857bb] | 84 | ... to: nothing |
---|
[cd6a6ff] | 85 | with resolved type: |
---|
| 86 | void |
---|
[dd857bb] | 87 | (types: |
---|
| 88 | void |
---|
| 89 | ) |
---|
[cd6a6ff] | 90 | Environment:([unbound]) -> instance of struct B with body 1 (no widening) |
---|
[7889f14] | 91 | |
---|
[0f35657] | 92 | |
---|
[4d5e57b] | 93 | |
---|
[cb8a18c] | 94 | errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[4d5e57b] | 95 | Name: foo |
---|
[07ec1a2] | 96 | ...to: |
---|
[4d5e57b] | 97 | Name: v |
---|
[0f35657] | 98 | |
---|
[cb8a18c] | 99 | errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[2c57025] | 100 | Name: baz |
---|
[07ec1a2] | 101 | ...to: |
---|
[2c57025] | 102 | Name: v |
---|
| 103 | |
---|
[cb8a18c] | 104 | errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[2c57025] | 105 | Name: quux |
---|
[07ec1a2] | 106 | ...to: |
---|
[2c57025] | 107 | Name: v |
---|
| 108 | |
---|
[cb8a18c] | 109 | errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[7889f14] | 110 | Name: baz |
---|
[07ec1a2] | 111 | ...to: |
---|
[2c57025] | 112 | Name: y |
---|
| 113 | |
---|
[cb8a18c] | 114 | errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[7889f14] | 115 | Name: quux |
---|
[07ec1a2] | 116 | ...to: |
---|
[0f35657] | 117 | Name: y |
---|
| 118 | |
---|
[cb8a18c] | 119 | errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: |
---|
[2c57025] | 120 | Name: baz |
---|
[07ec1a2] | 121 | ...to: |
---|
[2c57025] | 122 | Name: z |
---|
| 123 | |
---|
[dd857bb] | 124 | Unsatisfiable alternative: |
---|
[3e7c323] | 125 | Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of |
---|
[dd857bb] | 126 | Variable Expression: baz: forall |
---|
[07de76b] | 127 | T: sized data type |
---|
[dd857bb] | 128 | ... with assertions |
---|
| 129 | ?=?: pointer to function |
---|
| 130 | ... with parameters |
---|
| 131 | reference to instance of type T (not function type) |
---|
| 132 | instance of type T (not function type) |
---|
| 133 | ... returning |
---|
| 134 | _retval__operator_assign: instance of type T (not function type) |
---|
| 135 | ... with attributes: |
---|
| 136 | Attribute with name: unused |
---|
| 137 | |
---|
| 138 | |
---|
| 139 | ?{}: pointer to function |
---|
| 140 | ... with parameters |
---|
| 141 | reference to instance of type T (not function type) |
---|
| 142 | ... returning nothing |
---|
| 143 | |
---|
| 144 | ?{}: pointer to function |
---|
| 145 | ... with parameters |
---|
| 146 | reference to instance of type T (not function type) |
---|
| 147 | instance of type T (not function type) |
---|
| 148 | ... returning nothing |
---|
| 149 | |
---|
| 150 | ^?{}: pointer to function |
---|
| 151 | ... with parameters |
---|
| 152 | reference to instance of type T (not function type) |
---|
| 153 | ... returning nothing |
---|
| 154 | |
---|
| 155 | |
---|
| 156 | function |
---|
| 157 | ... with parameters |
---|
| 158 | pointer to instance of type T (not function type) |
---|
| 159 | ... returning nothing |
---|
| 160 | |
---|
[cd6a6ff] | 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 | |
---|
[dd857bb] | 197 | ... to arguments |
---|
| 198 | Variable Expression: z: pointer to instance of type T (not function type) |
---|
[cd6a6ff] | 199 | with resolved type: |
---|
| 200 | pointer to instance of type T (not function type) |
---|
[dd857bb] | 201 | |
---|
[cd6a6ff] | 202 | with resolved type: |
---|
| 203 | void |
---|
[dd857bb] | 204 | (types: |
---|
| 205 | void |
---|
| 206 | ) |
---|
[cd6a6ff] | 207 | Environment:([unbound]) -> instance of type T (not function type) (no widening) |
---|
[dd857bb] | 208 | |
---|
| 209 | Could not satisfy assertion: |
---|
[7889f14] | 210 | ?=?: pointer to function |
---|
[dd857bb] | 211 | ... with parameters |
---|
[cd6a6ff] | 212 | reference to instance of type [unbound] (not function type) |
---|
| 213 | instance of type [unbound] (not function type) |
---|
[dd857bb] | 214 | ... returning |
---|
[cd6a6ff] | 215 | _retval__operator_assign: instance of type [unbound] (not function type) |
---|
[dd857bb] | 216 | ... with attributes: |
---|
| 217 | Attribute with name: unused |
---|
[c9aba81] | 218 | |
---|
| 219 | |
---|