Appearance
| 1 | namespace Semantic is | |
| 2 | use Source | |
| 3 | ||
| 4 | // The scope for the members of a partial or impl block whose target | |
| 5 | // was rejected. The block has already been reported once at its | |
| 6 | // target, so its members are refused without a further error each. | |
| 7 | class REJECTED_BLOCK_SCOPE: BLOCK_SCOPE is | |
| 8 | init(enclosing: Scope?) is | |
| 9 | super.init(enclosing) | |
| 10 | si | |
| 11 | ||
| 12 | declare_undefined(location: LOCATION, kind: string, name: string) -> Symbols.Symbol => | |
| 13 | Symbols.UNDEFINED(location, self, name) | |
| 14 | si | |
| 15 | si |