-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
@system: test macro calls without parentheses #156
Conversation
I do not like this syntax. |
Leaving out the commas? |
Yes, this is not how you write a system definition on paper. I am fine with having this as an option of course. It works already, we can actually not avoid it, and I guess there is no way that |
I agree with @schillic, this is consistent with |
It is fun that we didn't realize this earlier :)
I agree as well that in |
Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>
Complete an element of checklist in #133.
See here , the solution is trivial 🙈
The syntax needs to be
without the commas.
I added the corresponding tests