diff --git a/examples/tests/a/lib/main.ak b/examples/tests/a/lib/main.ak index bed4015a..75355cc8 100644 --- a/examples/tests/a/lib/main.ak +++ b/examples/tests/a/lib/main.ak @@ -1,4 +1,4 @@ -pub fn length(xs: List(a)) -> Int { +pub fn length(xs: List) -> Int { when xs is { [] -> 0 [_, ..rest] -> 1 + length(rest) diff --git a/examples/tests/b/lib/main.ak b/examples/tests/b/lib/main.ak index 1b70e682..751281ed 100644 --- a/examples/tests/b/lib/main.ak +++ b/examples/tests/b/lib/main.ak @@ -1,4 +1,4 @@ -pub fn repeat(x: a, n: Int) -> List(a) { +pub fn repeat(x: a, n: Int) -> List { if n <= 0 { [] } else { diff --git a/examples/tests/c/lib/main.ak b/examples/tests/c/lib/main.ak index 1331d981..49b48533 100644 --- a/examples/tests/c/lib/main.ak +++ b/examples/tests/c/lib/main.ak @@ -1,11 +1,11 @@ -pub fn foldr(xs: List(a), f: fn(a, b) -> b, zero: b) -> b { +pub fn foldr(xs: List, f: fn(a, b) -> b, zero: b) -> b { when xs is { [] -> zero [x, ..rest] -> f(x, foldr(rest, f, zero)) } } -pub fn concat(left: List(a), right: List(a)) -> List(a) { +pub fn concat(left: List, right: List) -> List { foldr(left, fn(x, xs) { [x, ..xs] }, right) } diff --git a/examples/tests/d/lib/main.ak b/examples/tests/d/lib/main.ak index f9359d1a..169f2b3d 100644 --- a/examples/tests/d/lib/main.ak +++ b/examples/tests/d/lib/main.ak @@ -1,15 +1,15 @@ -pub fn foldr(xs: List(a), f: fn(a, b) -> b, zero: b) -> b { +pub fn foldr(xs: List, f: fn(a, b) -> b, zero: b) -> b { when xs is { [] -> zero [x, ..rest] -> f(x, foldr(rest, f, zero)) } } -pub fn prepend(x: a, xs: List(a)) -> List(a) { +pub fn prepend(x: a, xs: List) -> List { [x, ..xs] } -pub fn concat(left: List(a), right: List(a)) -> List(a) { +pub fn concat(left: List, right: List) -> List { foldr(left, prepend, right) }