M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 5
Code Issues 91 Pull Requests 6 Releases Wiki Activity

Fixed typevar with fixed range #238

Merged
sb10q merged 2 commits from fix-typevar into master 2022-03-24 22:16:38 +08:00
Conversation 0 Commits 2 Files Changed 9 +145 -50

2 Commits

Author SHA1 Message Date
pca006132 24a26b53ae nac3core/toplevel: fixed broken tests 
We should not include class type variables in functions type variables.
 2022-03-24 21:33:09 +08:00
pca006132 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.
 2022-03-24 21:31:51 +08:00