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

Use .. in list comprehension test

Browse Source
This commit is contained in:
Ulf Norell 2019-08-27 14:00:23 +02:00
parent 0efbcf302c
commit 3f1c23ace3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/contracts/list_comp.aes
View File

@ -10,11 +10,11 @@ contract ListComp =
entrypoint l2_true() = [5,6,6,7,7,8] entrypoint l2_true() = [5,6,6,7,7,8]
entrypoint l3() = [x ++ y | x <- [[":)"] | x <- [1,2]] entrypoint l3() = [x ++ y | x <- [[":)"] | x <- [1,2]]
, y <- [[":("]]] , y <- [[":("]]]
entrypoint l3_true() = [[":)", ":("], [":)", ":("]] entrypoint l3_true() = [[":)", ":("], [":)", ":("]]
entrypoint l4() = [(a, b, c) | let is_pit(a, b, c) = a*a + b*b == c*c entrypoint l4() = [(a, b, c) | let is_pit(a, b, c) = a*a + b*b == c*c
, let base = [1,2,3,4,5,6,7,8,9,10] , let base = [1..10]
, a <- base , a <- base
, b <- base, if (b >= a) , b <- base, if (b >= a)
, c <- base, if (c >= b) , c <- base, if (c >= b)