diff --git a/examples/acceptance_tests/010/aiken.toml b/examples/acceptance_tests/010/aiken.toml new file mode 100644 index 00000000..7d91c9e7 --- /dev/null +++ b/examples/acceptance_tests/010/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_010" +version = "0.0.0" diff --git a/examples/acceptance_tests/010/lib/test.ak b/examples/acceptance_tests/010/lib/test.ak new file mode 100644 index 00000000..31260b9b --- /dev/null +++ b/examples/acceptance_tests/010/lib/test.ak @@ -0,0 +1,14 @@ +pub fn map(opt: Option, f: fn(a) -> b) -> Option { + when opt is { + None -> None + Some(a) -> Some(f(a)) + } +} + +fn add_one(n: Int) -> Int { + n + 1 +} + +test map_1() { + map(None, add_one) == None +}