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

when performing calls across a Program barrier, CALL-WITH-TYPE-ERRORS should only be thrown if the target program hosting the code does not allow the call #841

Closed
davidnich opened this issue May 7, 2016 · 0 comments
Assignees
Milestone

Comments

@davidnich
Copy link
Contributor

davidnich commented May 7, 2016

currently this exception is thrown if the source Program does not allow the call

@davidnich davidnich self-assigned this May 7, 2016
@davidnich davidnich added the bug label May 7, 2016
@davidnich davidnich added this to the 0.8.12 milestone May 7, 2016
davidnich added a commit that referenced this issue May 7, 2016
… depend on the target in case a call is made over a Program barrier to user code, added tests & relnotes and updated docs
tethal added a commit that referenced this issue May 7, 2016
…rrors

refs #841 fixed the enforcement of CALL-WITH-TYPE-ERROR exceptions to…
@tethal tethal added the fixed label May 7, 2016
@tethal tethal closed this as completed May 7, 2016
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

2 participants