Skip to content

Commit c4ea3f3

Browse files
committed
Added ses for koka
1 parent 3201447 commit c4ea3f3

File tree

2 files changed

+11
-0
lines changed

2 files changed

+11
-0
lines changed

koka/sum-of-even-squares.kk

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
fun sum-of-even-squares(a : list<int>)
2+
a.filter-map(fn(i) { if i.is-even then Just(i*i) else Nothing}).sum
3+
4+
fun main()
5+
assert("Assertion failed.", sum-of-even-squares([]) == 0)
6+
assert("Assertion failed.", sum-of-even-squares([1]) == 0)
7+
assert("Assertion failed.", sum-of-even-squares([1,2]) == 4)
8+
assert("Assertion failed.", sum-of-even-squares([1,2,3]) == 4)
9+
assert("Assertion failed.", sum-of-even-squares([1,2,3,4]) == 20)
10+
assert("Assertion failed.", sum-of-even-squares([4,6,7,2]) == 56)

koka/test.ps1

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@ koka -v0 -e "$PSScriptRoot\clockhands.kk" |
1414
Compare-Object (Get-Content "$PSScriptRoot\..\test\clockhands_expected") |
1515
Assert-MatchTests &&
1616
koka -v0 -e "$PSScriptRoot\hello.kk" &&
17+
koka -v0 -e "$PSScriptRoot\sum-of-even-squares.kk" &&
1718
koka -v0 -e "$PSScriptRoot\triple.kk" |
1819
Compare-Object (Get-Content "$PSScriptRoot\..\test\triple_expected") |
1920
Assert-MatchTests &&

0 commit comments

Comments
 (0)