Some doc related changes #84
ice1000Annotations
5 errors
|
PrettyErrorTest.multilineNoneUnicodeError():
base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java#L68
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | +-^^`
actual: ` | +-^^ `
|
|
PrettyErrorTest.multilineUnicodeError():
base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java#L56
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╭──╯`
actual: ` │ ╭──╯ `
|
|
PrettyErrorTest.inlineUnicodeError():
base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java#L32
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` │ ╰──────────╯`
actual: ` │ ╰──────────╯ `
|
|
PrettyErrorTest.inlineNonUnicodeError():
base/src/test/java/org/aya/pretty/error/PrettyErrorTest.java#L44
org.opentest4j.AssertionFailedError: expected line #4 doesn't match actual line #4
expected: ` | ^----------^`
actual: ` | ^----------^ `
|
|
TestRunner.runAllAyaTests():
base/src/test/java/org/aya/test/TestRunner.java#L51
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?
>
|