Changes between Version 2 and Version 3 of Ticket #6213, comment 1
- Timestamp:
- 2020-11-10T14:54:03Z (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #6213, comment 1
v2 v3 1 The issue is that we don't save the scope that dimensions 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 dimensions are declared in, so when we later try to instantiate it we don't know that 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.
