Changes between Initial Version and Version 1 of Ticket #22813, comment 29


Ignore:
Timestamp:
03/14/21 21:08:41 (2 months ago)
Author:
nbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22813, comment 29

    initial v1  
    99 - `var("z",n=2)` shouldn't bind anything because we don't know what to bind: the names `z0,z1` aren't explicitly mentioned, so those should be out-of-bounds, and `z` isn't really created as a symbol itself.
    1010Personally I think: `var(...)` shouldn't support `n=...` at all because it's unclear what it should do. People should be steered to `SR.var` which forces people to perform the desired binding behaviour. That ship has sailed, though. And if people get confused by `var` then we can just say:  use `SR.var` instead.
     11
     12so +1 on closing as duplicate/wontfix