QPQ-AG/sophia
11
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Polymorphism checks #628

Merged
zxq9 merged 4 commits from polymorpism-checks into master 2019-08-30 22:48:35 +09:00
Conversation 10 Commits 4 Files Changed 9 +107 -36

4 Commits

Author SHA1 Message Date
Ulf Norell
062309e578 Type variables mentioned in local functions should not be flexible 
(cc #112)
 2019-08-30 14:22:31 +02:00
Ulf Norell
f27ba528d8 aebytecode commit 2019-08-30 11:21:26 +02:00
Ulf Norell
6fd39d4cb1 Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM) 2019-08-30 11:18:20 +02:00
Ulf Norell
1ce95b32ac Add checks for polymorphic/higher order oracles and higher order entrypoints (FATE) 2019-08-30 11:18:20 +02:00