diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T15898.stderr')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T15898.stderr | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/testsuite/tests/ghci/scripts/T15898.stderr b/testsuite/tests/ghci/scripts/T15898.stderr index 11ca6cc142..aeda5ba5fe 100644 --- a/testsuite/tests/ghci/scripts/T15898.stderr +++ b/testsuite/tests/ghci/scripts/T15898.stderr @@ -1,12 +1,4 @@ -<interactive>:3:1: error: - • Couldn't match kind ‘()’ with ‘*’ - When matching types - a0 :: * - '() :: () - • In the expression: undefined :: '() - In an equation for ‘it’: it = undefined :: '() - <interactive>:3:14: error: • Expected a type, but ‘'()’ has kind ‘()’ • In an expression type signature: '() @@ -19,34 +11,14 @@ In the expression: undefined :: Proxy '() Int In an equation for ‘it’: it = undefined :: Proxy '() Int -<interactive>:5:1: error: - • Couldn't match kind ‘[*]’ with ‘*’ - When matching types - a0 :: * - '[(), ()] :: [*] - • In the expression: undefined :: [(), ()] - In an equation for ‘it’: it = undefined :: [(), ()] - <interactive>:5:14: error: • Expected a type, but ‘[(), ()]’ has kind ‘[*]’ • In an expression type signature: [(), ()] In the expression: undefined :: [(), ()] In an equation for ‘it’: it = undefined :: [(), ()] -<interactive>:6:1: error: - • Couldn't match kind ‘([k0], [k1])’ with ‘*’ - When matching types - a0 :: * - '( '[], '[]) :: ([k0], [k1]) - • In the expression: undefined :: '( '[], '[]) - In an equation for ‘it’: it = undefined :: '( '[], '[]) - • Relevant bindings include - it :: '( '[], '[]) (bound at <interactive>:6:1) - <interactive>:6:14: error: • Expected a type, but ‘'( '[], '[])’ has kind ‘([k0], [k1])’ • In an expression type signature: '( '[], '[]) In the expression: undefined :: '( '[], '[]) In an equation for ‘it’: it = undefined :: '( '[], '[]) - • Relevant bindings include - it :: '( '[], '[]) (bound at <interactive>:6:1) |