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

Bytes.concat and Bytes.split #638

Merged
zxq9 merged 10 commits from bytes-concat into master 2019-09-10 02:14:00 +09:00
Conversation 3 Commits 10 Files Changed 12 +299 -45

10 Commits

Author SHA1 Message Date
Ulf Norell
c849184c72 type spec 2019-09-09 18:47:06 +02:00
Ulf Norell
f1b36c99ac Compile Bytes.concat/split for AEVM 2019-09-09 18:40:45 +02:00
Ulf Norell
f09198b588 aebytecode commit 2019-09-09 18:40:45 +02:00
Ulf Norell
cc531f9957 Test case for Bytes.concat/split 2019-09-09 18:40:45 +02:00
Ulf Norell
3ea8470dc8 Compile Bytes.concat and split to FATE 2019-09-09 18:40:45 +02:00
Ulf Norell
3ceeee22fa Don't forget to solve constraints 2019-09-09 18:40:45 +02:00
Ulf Norell
e2ab41eeb2 Add Bytes.concat and Bytes.split to type checker 2019-09-09 18:40:45 +02:00
Ulf Norell
0f612ead90 Sort errors by position 2019-09-09 12:22:40 +02:00
Ulf Norell
9eeb9ab11d Don't freshen types in list comprehension generators 2019-09-09 11:00:26 +02:00
Ulf Norell
244ef6a6e2 Add a constraint field to type_sig 2019-09-09 11:00:26 +02:00