diff options
author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 09:59:07 -0400 |
---|---|---|
committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 12:12:48 -0400 |
commit | 731c95f5167246aecd2205743a9b0d8d21bcccf9 (patch) | |
tree | 32bc1886b14390b003be9bdc2d09d6926ea71b7b /testsuite/tests/dependent/should_fail | |
parent | c1db1eb028b6962bac904975a6730edc6935ca8f (diff) | |
download | haskell-731c95f5167246aecd2205743a9b0d8d21bcccf9.tar.gz |
Test #15825 in dependent/should_fail/T15825
Diffstat (limited to 'testsuite/tests/dependent/should_fail')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T15825.hs | 14 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_fail/T15825.stderr | 5 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_fail/all.T | 1 |
3 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15825.hs b/testsuite/tests/dependent/should_fail/T15825.hs new file mode 100644 index 0000000000..01227a8696 --- /dev/null +++ b/testsuite/tests/dependent/should_fail/T15825.hs @@ -0,0 +1,14 @@ +{-# Language RankNTypes #-} +{-# Language PolyKinds #-} +{-# Language KindSignatures #-} +{-# Language DataKinds #-} +{-# Language FlexibleInstances #-} + +{-# Options_GHC -dcore-lint #-} + +module T15825 where + +type C k = (forall (x::k). *) + +class X (a :: *) +instance forall (a :: C k). X (a :: *) diff --git a/testsuite/tests/dependent/should_fail/T15825.stderr b/testsuite/tests/dependent/should_fail/T15825.stderr new file mode 100644 index 0000000000..5e67bf763e --- /dev/null +++ b/testsuite/tests/dependent/should_fail/T15825.stderr @@ -0,0 +1,5 @@ + +T15825.hs:14:29: error: + • Illegal type synonym family application ‘GHC.Types.Any’ in instance: + X a + • In the instance declaration for ‘X (a :: *)’ diff --git a/testsuite/tests/dependent/should_fail/all.T b/testsuite/tests/dependent/should_fail/all.T index 2b602fa383..d76fc35fc7 100644 --- a/testsuite/tests/dependent/should_fail/all.T +++ b/testsuite/tests/dependent/should_fail/all.T @@ -37,3 +37,4 @@ test('T15591b', normal, compile_fail, ['']) test('T15591c', normal, compile_fail, ['']) test('T15743c', normal, compile_fail, ['']) test('T15743d', normal, compile_fail, ['']) +test('T15825', normal, compile_fail, ['']) |