From 7f13fca1a4c8629a07ebd207c2dfdd4bd1f2eb7a Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sat, 19 Oct 2024 10:52:37 +0200 Subject: [PATCH] Revert "Add acceptance tests #114" This reverts commit a18af83786e236804abe3e9ce4d23ef0f888aa8f. The test case has proven to be an ill-formed scenario with a genuine infinite recursion. --- examples/acceptance_tests/114/aiken.toml | 9 ---- examples/acceptance_tests/114/lib/foo.ak | 52 ------------------------ 2 files changed, 61 deletions(-) delete mode 100644 examples/acceptance_tests/114/aiken.toml delete mode 100644 examples/acceptance_tests/114/lib/foo.ak diff --git a/examples/acceptance_tests/114/aiken.toml b/examples/acceptance_tests/114/aiken.toml deleted file mode 100644 index 58351e3c..00000000 --- a/examples/acceptance_tests/114/aiken.toml +++ /dev/null @@ -1,9 +0,0 @@ -name = "aiken-lang/acceptance_test_114" -version = "0.0.0" -license = "Apache-2.0" -description = "Aiken contracts for project 'aiken-lang/114'" - -[repository] -user = "aiken-lang" -project = "114" -platform = "github" diff --git a/examples/acceptance_tests/114/lib/foo.ak b/examples/acceptance_tests/114/lib/foo.ak deleted file mode 100644 index 484205e8..00000000 --- a/examples/acceptance_tests/114/lib/foo.ak +++ /dev/null @@ -1,52 +0,0 @@ -use aiken/builtin - -pub type Decoder = - fn(ByteArray) -> Option<(a, ByteArray)> - -pub fn data() -> Decoder { - fn(bytes) { - when int()(bytes) is { - Some((n, "")) -> Some((builtin.i_data(n), "")) - _ -> - when list(data())(bytes) is { - Some((xs, "")) -> Some((builtin.list_data(xs), "")) - _ -> None - } - } - } -} - -/// Dummy implementation: always decode two elements -pub fn list(decode_one: Decoder) -> Decoder> { - fn(bytes) { - when decode_one(bytes) is { - Some((a0, bytes)) -> - when decode_one(bytes) is { - Some((a1, bytes)) -> Some(([a0, a1], bytes)) - None -> None - } - None -> None - } - } -} - -/// Dummy implementation: consume the next byte and yield 42. -pub fn int() -> Decoder { - fn(bytes) { - Some( - ( - 42, - builtin.slice_bytearray( - 1, - builtin.length_of_bytearray(bytes) - 1, - bytes, - ), - ), - ) - } -} - -test decode_data() { - let d: Data = [42, 42] - data()(#"0000") == Some((d, "")) -}