UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

'any into x' is not intuitive #142

Open MattWindsor91 opened 1 year ago

MattWindsor91 commented 1 year ago

@hollyrebecca pointed out that the current WildcardValueSpecification notation for binding a wildcard to a variable, any into x, is not very intuitive. This came from my attempt to write something vaguely like structured English, so ideally I'd like something that is somehow concise but not symbol soup.

Possible inspirations: