Sanity check for primitive operations type signatures #143
Labels
No Milestone
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: M-Labs/nac3#143
Loading…
Reference in New Issue
There is no content yet.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?
Should check that all type variables used in primitive operations are listed in wirther the function or its enclosing class. This is to prevent bugs that may easily occur due to a mistake and cause confusing type errors.