Skip to content
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

Warn when events are defined with only abstract parameters #19

Open
arian opened this issue Dec 4, 2015 · 0 comments
Open

Warn when events are defined with only abstract parameters #19

arian opened this issue Dec 4, 2015 · 0 comments

Comments

@arian
Copy link
Owner

arian commented Dec 4, 2015

For example

statemachine X {
  init start;
  event foo(int32);
  state start {}
}

Here the event foo accepts some arguments, but it cannot be used inside the statemachine, as it doesn't have name.

The parameter is parsed/desugard to a FunDefinitionParameter/1 node. If that happens to be inside an Event/3, it should produce a warning for the programmer.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant