Changes between Initial Version and Version 1 of Ticket #6213, comment 1
- Timestamp:
- 2020-11-10T14:53:36Z (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #6213, comment 1
initial v1 1 The issue is that we don't save the scope that dimension are declared in, so when we later try to instantiate it we don't know it came from a redeclare and should actually be looked up inside `f`. We need to save the scope in the same way that we currently handle bindings and use that instead when instantiating dimensions.1 The issue is that we don't save the scope that the dimension are declared in, so when we later try to instantiate it we don't know it came from a redeclare and should actually be looked up inside `f`. We need to save the scope in the same way that we currently handle bindings and use that instead when instantiating dimensions.