diff options
Diffstat (limited to 'tests/snapshots/term__multifile__rich_color.snap')
-rw-r--r-- | tests/snapshots/term__multifile__rich_color.snap | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tests/snapshots/term__multifile__rich_color.snap b/tests/snapshots/term__multifile__rich_color.snap index 5c3be31..514be49 100644 --- a/tests/snapshots/term__multifile__rich_color.snap +++ b/tests/snapshots/term__multifile__rich_color.snap @@ -5,29 +5,29 @@ expression: TEST_DATA.emit_color(&config) {fg:Red bold bright}error{bold bright}: unknown builtin: `NATRAL`{/} {fg:Blue}┌─{/} Data/Nat.fun:7:13 {fg:Blue}│{/} -{fg:Blue}7{/} {fg:Blue}│{/} {-# BUILTIN NATRAL Nat #-} - {fg:Blue}│{/} {fg:Red}^^^^^^ unknown builtin{/} +{fg:Blue}7{/} {fg:Blue}│{/} {-# BUILTIN {fg:Red}NATRAL{/} Nat #-} + {fg:Blue}│{/} {fg:Red}^^^^^^{/} {fg:Red}unknown builtin{/} {fg:Blue}│{/} {fg:Blue}={/} there is a builtin with a similar name: `NATURAL` {fg:Yellow bold bright}warning{bold bright}: unused parameter pattern: `n₂`{/} {fg:Blue}┌─{/} Data/Nat.fun:17:16 {fg:Blue}│{/} -{fg:Blue}17{/} {fg:Blue}│{/} zero - succ n₂ = zero - {fg:Blue}│{/} {fg:Yellow}^^ unused parameter{/} +{fg:Blue}17{/} {fg:Blue}│{/} zero - succ {fg:Yellow}n₂{/} = zero + {fg:Blue}│{/} {fg:Yellow}^^{/} {fg:Yellow}unused parameter{/} {fg:Blue}│{/} {fg:Blue}={/} consider using a wildcard pattern: `_` {fg:Red bold bright}error[E0001]{bold bright}: unexpected type in application of `_+_`{/} {fg:Blue}┌─{/} Test.fun:4:11 {fg:Blue}│{/} -{fg:Blue} 4{/} {fg:Blue}│{/} _ = 123 + "hello" - {fg:Blue}│{/} {fg:Red}^^^^^^^ expected `Nat`, found `String`{/} +{fg:Blue} 4{/} {fg:Blue}│{/} _ = 123 + {fg:Red}"hello"{/} + {fg:Blue}│{/} {fg:Red}^^^^^^^{/} {fg:Red}expected `Nat`, found `String`{/} {fg:Blue}│{/} {fg:Blue}┌─{/} Data/Nat.fun:11:1 {fg:Blue}│{/} {fg:Blue}11{/} {fg:Blue}│{/} _+_ : Nat → Nat → Nat - {fg:Blue}│{/} {fg:Blue}--------------------- based on the definition of `_+_`{/} + {fg:Blue}│{/} {fg:Blue}---------------------{/} {fg:Blue}based on the definition of `_+_`{/} {fg:Blue}│{/} {fg:Blue}={/} expected type `Nat` found type `String` |