diff options
Diffstat (limited to 'tests/snapshots/term__multifile__rich_ascii_no_color.snap')
-rw-r--r-- | tests/snapshots/term__multifile__rich_ascii_no_color.snap | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/tests/snapshots/term__multifile__rich_ascii_no_color.snap b/tests/snapshots/term__multifile__rich_ascii_no_color.snap new file mode 100644 index 0000000..e162ed2 --- /dev/null +++ b/tests/snapshots/term__multifile__rich_ascii_no_color.snap @@ -0,0 +1,35 @@ +--- +source: codespan-reporting/tests/term.rs +expression: TEST_DATA.emit_no_color(&config) +--- +error: unknown builtin: `NATRAL` + --> Data/Nat.fun:7:13 + | +7 | {-# BUILTIN NATRAL Nat #-} + | ^^^^^^ unknown builtin + | + = there is a builtin with a similar name: `NATURAL` + +warning: unused parameter pattern: `nā` + --> Data/Nat.fun:17:16 + | +17 | zero - succ nā = zero + | ^^ unused parameter + | + = consider using a wildcard pattern: `_` + +error[E0001]: unexpected type in application of `_+_` + --> Test.fun:4:11 + | + 4 | _ = 123 + "hello" + | ^^^^^^^ expected `Nat`, found `String` + | + --> Data/Nat.fun:11:1 + | +11 | _+_ : Nat ā Nat ā Nat + | --------------------- based on the definition of `_+_` + | + = expected type `Nat` + found type `String` + + |