Skip to content
This repository has been archived by the owner. It is now read-only.

AGREE pure event ports #57

Closed
rsanjai opened this issue Jun 22, 2017 · 1 comment
Closed

AGREE pure event ports #57

rsanjai opened this issue Jun 22, 2017 · 1 comment
Assignees

Comments

@rsanjai
Copy link
Contributor

@rsanjai rsanjai commented Jun 22, 2017

AGREE expects event(port) expressions to refer to event data ports. Pure event ports causes an error "Argument of event expression must be an event data port". Per the semantics of events ports as described in the manual, both kinds of ports are to be treated the same way.

@kfhoech
Copy link
Contributor

@kfhoech kfhoech commented Mar 29, 2018

Resolved by Pull Request 111.

@kfhoech kfhoech closed this Mar 29, 2018
@kfhoech kfhoech added the v2.3.3 label Jul 11, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants