ConstAssignment scoping should not bring instantiated constants into scope

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert

Eclipse Public License 2.0

2 stars 0 forks source link

ConstAssignment scoping should not bring instantiated constants into scope #107

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

Per this issue in the original RoboChart Assertions language. These constants should not be picked up by scoping (but should be treated as existing for parameterisation purposes, if I understand correctly).