| --- |
| 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` |
| |
| 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` |
| |
| |