vendor/codespan-reporting/tests/snapshots/multifile__rich_no_color.snap

   1 ---
   2 created: "2019-08-28T14:41:01.270459Z"
   3 creator: insta@0.10.1
   4 source: codespan-reporting/tests/term.rs
   5 expression: TEST_DATA.emit_no_color(&config)
   6 ---
   7 error: unknown builtin: `NATRAL`
   8
   9    ┌── Data/Nat.fun:7:13 ───
  10    │
  11  7 │ {-# BUILTIN NATRAL Nat #-}
  12    │             ^^^^^^ unknown builtin
  13    │
  14    = there is a builtin with a similar name: `NATURAL`
  15
  16 warning: unused parameter pattern: `n₂`
  17
  18     ┌── Data/Nat.fun:17:16 ───
  19     │
  20  17 │ zero    - succ n₂ = zero
  21     │                ^^ unused parameter
  22     │
  23     = consider using a wildcard pattern: `_`
  24
  25 error[E0001]: unexpected type in application of `_+_`
  26
  27    ┌── Test.fun:4:11 ───
  28    │
  29  4 │ _ = 123 + "hello"
  30    │           ^^^^^^^ expected `Nat`, found `String`
  31    │
  32
  33     ┌── Data/Nat.fun:11:1 ───
  34     │
  35  11 │ _+_ : Nat → Nat → Nat
  36     │ --------------------- based on the definition of `_+_`
  37     │
  38
  39