Add missing stderr file for Trac #15898
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Nov 2018 11:39:09 +0000 (11:39 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Nov 2018 11:39:09 +0000 (11:39 +0000)
testsuite/tests/ghci/scripts/T15898.stderr [new file with mode: 0644]

diff --git a/testsuite/tests/ghci/scripts/T15898.stderr b/testsuite/tests/ghci/scripts/T15898.stderr
new file mode 100644 (file)
index 0000000..11ca6cc
--- /dev/null
@@ -0,0 +1,52 @@
+
+<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: '()
+      In the expression: undefined :: '()
+      In an equation for ‘it’: it = undefined :: '()
+
+<interactive>:4:14: error:
+    • Expected kind ‘* -> *’, but ‘Proxy '()’ has kind ‘*’
+    • In an expression type signature: Proxy '() Int
+      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)