Revert "Add acceptance tests #114"

This reverts commit a18af83786. The test
case has proven to be an ill-formed scenario with a genuine infinite
recursion.
This commit is contained in:
KtorZ 2024-10-19 10:52:37 +02:00
parent 4b95db4f88
commit 7f13fca1a4
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
2 changed files with 0 additions and 61 deletions

View File

@ -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"

View File

@ -1,52 +0,0 @@
use aiken/builtin
pub type Decoder<a> =
fn(ByteArray) -> Option<(a, ByteArray)>
pub fn data() -> Decoder<Data> {
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<a>) -> Decoder<List<a>> {
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<Int> {
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, ""))
}