I have a similar issue with a simple specification for an exclusive workspace lock:
In evaluation, the identifier locks is either undefined or not an operator.
line 20, col 12 to line 20, col 16 of module WorkspaceLock
I cannot for the life of me figure out what is incorrect. Anyone got any ideas?
On Monday, June 10, 2019 at 6:18:13 PM UTC+2, Marko Schuetz-Schmuck wrote:
I'm trying to use TLC, but I'm getting the error:
In evaluation, the identifier chan is either undefined or not an
Channel is the module from Specifying Systems.
I don't see what's wrong with my specs. Any hints?