diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-09-06 17:40:58 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-19 09:04:03 -0400 |
| commit | c675d08fb08151c10e94a975452ce0c5c2cf997a (patch) | |
| tree | e8a165054fa2e55cd32cf57d1c0de20654a5ee8b /testsuite/tests | |
| parent | f594a68a5500696d94ae36425bbf4d4073aca3b2 (diff) | |
| download | haskell-c675d08fb08151c10e94a975452ce0c5c2cf997a.tar.gz | |
Test #17077.
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T17077.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T17077.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
3 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T17077.hs b/testsuite/tests/typecheck/should_fail/T17077.hs new file mode 100644 index 0000000000..bb9f470aa4 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T17077.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE RankNTypes, PolyKinds #-} +{-# OPTIONS_GHC -fprint-explicit-kinds #-} +module T17077 where + +import Data.Proxy + +t :: Proxy (z :: forall k. a) +t = t diff --git a/testsuite/tests/typecheck/should_fail/T17077.stderr b/testsuite/tests/typecheck/should_fail/T17077.stderr new file mode 100644 index 0000000000..3d05adc3c3 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T17077.stderr @@ -0,0 +1,5 @@ + +T17077.hs:7:13: error: + • Expected kind ‘forall (k :: k1). a’, but ‘z’ has kind ‘k0’ + • In the first argument of ‘Proxy’, namely ‘(z :: forall k. a)’ + In the type signature: t :: Proxy (z :: forall k. a) diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index a239085b86..4ccde2163f 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -542,3 +542,4 @@ test('UnliftedNewtypesMismatchedKind', normal, compile_fail, ['']) test('UnliftedNewtypesMismatchedKindRecord', normal, compile_fail, ['']) test('UnliftedNewtypesMultiFieldGadt', normal, compile_fail, ['']) test('T13834', normal, compile_fail, ['']) +test('T17077', normal, compile_fail, ['']) |