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.

Sign up for GitHub

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

Jump to bottom

Check Aspect restrictions #13

Open

joopringelberg opened this issue Jun 15, 2022 · 0 comments

Assignees

Labels

Owner

joopringelberg commented Jun 15, 2022 •

edited

Loading

perspectives-core/src/core/typeChecking/perspectivesTypeChecker.purs

Line 84 in 0991610

where

Check Aspect restrictions
Aspect roles introduce restrictions on what can be specified for an enumerated role:

the kind of the role should be the same as its aspect's kind;
if the aspect is functional, the role should be functional as well;
if the aspect is mandatory, so should be the role;
the filler restriction of the role should be equal to or a specialisation of that of the aspect.

joopringelberg self-assigned this

joopringelberg added the enhancement label

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