diff --git a/examples/acceptance_tests/009/aiken.toml b/examples/acceptance_tests/009/aiken.toml new file mode 100644 index 00000000..575d56fb --- /dev/null +++ b/examples/acceptance_tests/009/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_009" +version = "0.0.0" diff --git a/examples/acceptance_tests/009/lib/test.ak b/examples/acceptance_tests/009/lib/test.ak new file mode 100644 index 00000000..b4ef2b0d --- /dev/null +++ b/examples/acceptance_tests/009/lib/test.ak @@ -0,0 +1,9 @@ +use aiken/builtin.{length_of_bytearray} + +pub fn is_empty(bytes: ByteArray) -> Bool { + length_of_bytearray(bytes) == 0 +} + +test is_empty_1() { + is_empty(#[]) == True +}