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