Sanity check for primitive operations type signatures #143

Open
opened 2021-12-21 16:44:27 +08:00 by LPTK · 0 comments
Collaborator

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.

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.
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: M-Labs/nac3#143
There is no content yet.