shape: remove tests for "wired list"

Co-authored-by: HoshinoTented <hoshinotented@qq.com> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>
aya-prover · Oct 20, 2023 · 9661058 · 9661058
1 parent 7d5ed05
commit 9661058
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 44 deletions.
diff --git a/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya b/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya
diff --git a/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt b/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt
diff --git a/base/src/test/resources/success/src/List2.aya b/base/src/test/resources/success/src/List2.aya