Add acceptance test 111

Seems like nested tuples are inferred wrongly when type-casted.

  ```
  type mismatch
     Expected (list a)
          Got integer
  ```
This commit is contained in:
KtorZ 2024-08-31 00:03:46 +02:00
parent 6d0fe560e2
commit 8d60f08f65
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
2 changed files with 25 additions and 0 deletions

View File

@ -0,0 +1,9 @@
name = "aiken-lang/acceptance_test_111"
version = "0.0.0"
license = "Apache-2.0"
description = "Aiken contracts for project 'aiken-lang/111'"
[repository]
user = "aiken-lang"
project = "111"
platform = "github"

View File

@ -0,0 +1,16 @@
type Point =
(ByteArray, Int)
type NestedTuples {
points: (Point, Point),
}
test boom() {
let original = NestedTuples { points: (("", 14), ("foo", 42)) }
let data: Data = original
expect recovered: NestedTuples = data
original == recovered
}