diff --git a/examples/tests/e/aiken.toml b/examples/tests/e/aiken.toml new file mode 100644 index 00000000..eeade47c --- /dev/null +++ b/examples/tests/e/aiken.toml @@ -0,0 +1,2 @@ +name = "test_e" +version = "0.0.0" diff --git a/examples/tests/e/lib/main.ak b/examples/tests/e/lib/main.ak new file mode 100644 index 00000000..ce9644a7 --- /dev/null +++ b/examples/tests/e/lib/main.ak @@ -0,0 +1,16 @@ +use aiken/builtin.{head_list} + +pub fn head(xs: List) -> Option { + when xs is { + [] -> None + _ -> Some(head_list(xs)) + } +} + +test head_1() { + head([1, 2, 3]) == Some(1) +} + +test head_2() { + head([]) == None +}