diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts')
-rw-r--r-- | testsuite/tests/ghci/scripts/T15898.stderr | 28 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T16767.script | 3 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T16767.stdout | 2 | ||||
-rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
4 files changed, 6 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) diff --git a/testsuite/tests/ghci/scripts/T16767.script b/testsuite/tests/ghci/scripts/T16767.script new file mode 100644 index 0000000000..40d4812fed --- /dev/null +++ b/testsuite/tests/ghci/scripts/T16767.script @@ -0,0 +1,3 @@ +:set -fprint-explicit-foralls -fprint-explicit-kinds -XTypeApplications -XDataKinds +import Data.Proxy +:kind! 'Proxy @_ diff --git a/testsuite/tests/ghci/scripts/T16767.stdout b/testsuite/tests/ghci/scripts/T16767.stdout new file mode 100644 index 0000000000..340ed6ee80 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T16767.stdout @@ -0,0 +1,2 @@ +'Proxy @_ :: forall {k} {_ :: k}. Proxy @{k} _ += 'Proxy @{k} @_ diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 9ece912e1f..de8716d935 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -296,3 +296,4 @@ test('T16030', normal, ghci_script, ['T16030.script']) test('T11606', normal, ghci_script, ['T11606.script']) test('T16089', normal, ghci_script, ['T16089.script']) test('T16527', normal, ghci_script, ['T16527.script']) +test('T16767', normal, ghci_script, ['T16767.script']) |