QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 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