Support dependent types in variable
#689
mio-19Annotations
1 error
|
TestRunner.negative():
cli-impl/src/test/java/org/aya/test/TestRunner.java#L59
org.opentest4j.AssertionFailedError: diff --git a/cli-impl/src/test/resources/negative/ScopeError.txt b/cli-impl/src/test/resources/negative/ScopeError.txt
index 58bec7b..8f7314e 100644
--- a/cli-impl/src/test/resources/negative/ScopeError.txt
+++ b/cli-impl/src/test/resources/negative/ScopeError.txt
@@ -214,18 +214,7 @@ Resolving interrupted due to:
Let's learn from that.
GeneralizedDisallowed:
-In file $FILE:3:7 ->
-
- 1 │ variable A : Type
- 2 │ def test Type : Type
- 3 │ | _ => A
- │ ╰╯
-
-Error: The generalized variable `A` is not available here
-
-Resolving interrupted due to:
-1 error(s), 0 warning(s).
-Let's learn from that.
+Internal error
DuplicateModName:
In file $FILE:2:7 ->
==> expected: <true> but was: <false>
|