Some doc related changes #84
92 tests run, 87 passed, 0 skipped, 5 failed.
Annotations
Check failure on line 68 in base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java
github-actions / junit-tests
PrettyErrorTest.multilineNoneUnicodeError()
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | +-^^`
actual: ` | +-^^ `
Raw output
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | +-^^`
actual: ` | +-^^ `
at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.fail(AssertLinesMatch.java:203)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatchWithFastForward(AssertLinesMatch.java:178)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatch(AssertLinesMatch.java:112)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:80)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:68)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:50)
at app//org.junit.jupiter.api.Assertions.assertLinesMatch(Assertions.java:1646)
at app//org.aya.pretty.error.PrettyErrorTest.testError(PrettyErrorTest.java:28)
at app//org.aya.pretty.error.PrettyErrorTest.multilineNoneUnicodeError(PrettyErrorTest.java:68)
at java.base@20.0.2/java.lang.reflect.Method.invoke(Method.java:578)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
Check failure on line 56 in base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java
github-actions / junit-tests
PrettyErrorTest.multilineUnicodeError()
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╭──╯`
actual: ` │ ╭──╯ `
Raw output
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╭──╯`
actual: ` │ ╭──╯ `
at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.fail(AssertLinesMatch.java:203)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatchWithFastForward(AssertLinesMatch.java:178)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatch(AssertLinesMatch.java:112)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:80)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:68)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:50)
at app//org.junit.jupiter.api.Assertions.assertLinesMatch(Assertions.java:1646)
at app//org.aya.pretty.error.PrettyErrorTest.testError(PrettyErrorTest.java:28)
at app//org.aya.pretty.error.PrettyErrorTest.multilineUnicodeError(PrettyErrorTest.java:56)
at java.base@20.0.2/java.lang.reflect.Method.invoke(Method.java:578)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
Check failure on line 32 in base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java
github-actions / junit-tests
PrettyErrorTest.inlineUnicodeError()
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╰──────────╯`
actual: ` │ ╰──────────╯ `
Raw output
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╰──────────╯`
actual: ` │ ╰──────────╯ `
at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.fail(AssertLinesMatch.java:203)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatchWithFastForward(AssertLinesMatch.java:178)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatch(AssertLinesMatch.java:112)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:80)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:68)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:50)
at app//org.junit.jupiter.api.Assertions.assertLinesMatch(Assertions.java:1646)
at app//org.aya.pretty.error.PrettyErrorTest.testError(PrettyErrorTest.java:28)
at app//org.aya.pretty.error.PrettyErrorTest.inlineUnicodeError(PrettyErrorTest.java:32)
at java.base@20.0.2/java.lang.reflect.Method.invoke(Method.java:578)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
Check failure on line 44 in base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java
github-actions / junit-tests
PrettyErrorTest.inlineNonUnicodeError()
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | ^----------^`
actual: ` | ^----------^ `
Raw output
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | ^----------^`
actual: ` | ^----------^ `
at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.fail(AssertLinesMatch.java:203)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatchWithFastForward(AssertLinesMatch.java:178)
at app//org.junit.jupiter.api.AssertLinesMatch$LinesMatcher.assertLinesMatch(AssertLinesMatch.java:112)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:80)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:68)
at app//org.junit.jupiter.api.AssertLinesMatch.assertLinesMatch(AssertLinesMatch.java:50)
at app//org.junit.jupiter.api.Assertions.assertLinesMatch(Assertions.java:1646)
at app//org.aya.pretty.error.PrettyErrorTest.testError(PrettyErrorTest.java:28)
at app//org.aya.pretty.error.PrettyErrorTest.inlineNonUnicodeError(PrettyErrorTest.java:44)
at java.base@20.0.2/java.lang.reflect.Method.invoke(Method.java:578)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
Check failure on line 51 in base/src/test/java/org/aya/test/TestRunner.java
github-actions / junit-tests
TestRunner.runAllAyaTests()
org.opentest4j.AssertionFailedError: too-many-elems.aya ==> expected: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/tuple/too-many-elems.aya:4:7 ->
2 │ (f : (Sig A B ** C) -> D)
3 │ (a : A) (b : B) (c : C) : D
4 │ => f (a, b, c, a)
│ ╰──────────╯
Error: Expected 3 elements in the tuple, but found 4
1 error(s), 0 warning(s).
What are you doing?
> but was: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/tuple/too-many-elems.aya:4:7 ->
2 │ (f : (Sig A B ** C) -> D)
3 │ (a : A) (b : B) (c : C) : D
4 │ => f (a, b, c, a)
│ ╰──────────╯
Error: Expected 3 elements in the tuple, but found 4
1 error(s), 0 warning(s).
What are you doing?
>
Raw output
org.opentest4j.AssertionFailedError: too-many-elems.aya ==> expected: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/tuple/too-many-elems.aya:4:7 ->
2 │ (f : (Sig A B ** C) -> D)
3 │ (a : A) (b : B) (c : C) : D
4 │ => f (a, b, c, a)
│ ╰──────────╯
Error: Expected 3 elements in the tuple, but found 4
1 error(s), 0 warning(s).
What are you doing?
> but was: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/tuple/too-many-elems.aya:4:7 ->
2 │ (f : (Sig A B ** C) -> D)
3 │ (a : A) (b : B) (c : C) : D
4 │ => f (a, b, c, a)
│ ╰──────────╯
Error: Expected 3 elements in the tuple, but found 4
1 error(s), 0 warning(s).
What are you doing?
>
at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
at app//org.junit.jupiter.api.AssertEquals.failNotEqual(AssertEquals.java:197)
at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:182)
at app//org.junit.jupiter.api.Assertions.assertEquals(Assertions.java:1152)
at app//org.aya.test.TestRunner.checkOutput(TestRunner.java:151)
at app//org.aya.test.TestRunner.postRun(TestRunner.java:100)
at app//org.aya.test.TestRunner.runFile(TestRunner.java:85)
at app//org.aya.test.TestRunner.lambda$runDir$2(TestRunner.java:72)
at app//kala.collection.immutable.ImmutableVectors.forEachRec(ImmutableVectors.java:733)
at app//kala.collection.immutable.ImmutableVectors$BigVector.forEach(ImmutableVectors.java:568)
at app//org.aya.test.TestRunner.runDir(TestRunner.java:72)
at app//org.aya.test.TestRunner.runAllAyaTests(TestRunner.java:51)
at java.base@20.0.2/java.lang.reflect.Method.invoke(Method.java:578)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)
at java.base@20.0.2/java.util.ArrayList.forEach(ArrayList.java:1511)