|
So the proposal is as follows. A *declaration group* is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not includig the next top-level declaration splice. Then **the type environment seen by `reify` includes all the declaration up to the end of the immediately preceding declaration block, but no more.**
|
|
So the proposal is as follows. A *declaration group* is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not including the next top-level declaration splice. Then **the type environment seen by `reify` includes all the declaration up to the end of the immediately preceding declaration block, but no more.**
|