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

Merge lima to master #700

Merged
zxq9 merged 30 commits from merge_lima_to_master into master 2019-12-19 23:34:26 +09:00
Conversation 2 Commits 30 Files Changed 16 +2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f7abaf07fa - Show all commits

2
test/contracts/let_patterns.aes
View File

@ -11,3 +11,5 @@ contract LetPatterns =
let {x = i, y = j} = r let {x = i, y = j} = r
x + a + b + n + i + j x + a + b + n + i + j
entrypoint lc(xs : list(option(int))) : list(int) =
[ x | Some(x) <- xs ]