Fixed typevar with fixed range #238

pca006132 · 2022-03-24T21:35:11+08:00

pca006132 commented

2022-03-24 21:35:11 +08:00

Function type variables should not include class type variables, because they are not bound to the function.
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 Label

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