Appearance
| 1 | namespace IR.Values is | |
| 2 | use Semantic.Types.Type | |
| 3 | ||
| 4 | // A function value presented in the other shape its argument pack | |
| 5 | // has: `inner` evaluated once into a local, and the delegate of a | |
| 6 | // generated thunk that captures the local and calls it. The thunk | |
| 7 | // does nothing of its own, so whatever is true of calling `inner` is | |
| 8 | // true of calling this. | |
| 9 | class PACK_WRAP: BLOCK is | |
| 10 | inner: Value | |
| 11 | ||
| 12 | init(type: Type, inner: Value) is | |
| 13 | super.init(type) | |
| 14 | ||
| 15 | self.inner = inner | |
| 16 | si | |
| 17 | si | |
| 18 | si |