Fixed typevar with fixed range #238

Merged
sb10q merged 2 commits from fix-typevar into master 2022-03-24 22:16:38 +08:00
Collaborator

#229

  1. Function type variables should not include class type variables, because they are not bound to the function.
  2. Defer type variable constraint evaluation until we get all fields definition.
https://git.m-labs.hk/M-Labs/nac3/issues/229 1. Function type variables should not include class type variables, because they are not bound to the function. 2. Defer type variable constraint evaluation until we get all fields definition.
pca006132 added 2 commits 2022-03-24 21:35:11 +08:00
1084ba2158 nac3core: fixed typevar with finite range
1. Function type variables should not include class type variables,
   because they are not bound to the function.
2. Defer type variable constraint evaluation until we get all fields
   definition.
24a26b53ae nac3core/toplevel: fixed broken tests
We should not include class type variables in functions type variables.
sb10q merged commit 24a26b53ae into master 2022-03-24 22:16:38 +08:00
sb10q deleted branch fix-typevar 2022-03-24 22:16:38 +08:00
Sign in to join this conversation.
No reviewers
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#238
No description provided.