diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 11:34:19 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 11:34:19 -0500 |
| commit | d1dff94c9a82ffeff0bf92d0f90231a639ade59c (patch) | |
| tree | 75fe50e491b107333e75e529a1d81e9645698f0b /testsuite/tests/polykinds | |
| parent | 9e0c1ae57526bacaca044a7ce5a6491fb6a7cb42 (diff) | |
| download | haskell-d1dff94c9a82ffeff0bf92d0f90231a639ade59c.tar.gz | |
Test #7481, which had already been fixed.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T7481.hs | 12 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7481.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
3 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7481.hs b/testsuite/tests/polykinds/T7481.hs new file mode 100644 index 0000000000..cb64d393a4 --- /dev/null +++ b/testsuite/tests/polykinds/T7481.hs @@ -0,0 +1,12 @@ + {-# LANGUAGE DataKinds, PolyKinds, RankNTypes, GADTs #-} + +module T7481 where + +import Data.Proxy + +data D a where + D1 :: a -> D a + D2 :: (a~Int) => D a + D3 :: forall (a::k) b. Proxy a -> D b + +data Foo :: D * -> *
\ No newline at end of file diff --git a/testsuite/tests/polykinds/T7481.stderr b/testsuite/tests/polykinds/T7481.stderr new file mode 100644 index 0000000000..bd2d679c3c --- /dev/null +++ b/testsuite/tests/polykinds/T7481.stderr @@ -0,0 +1,4 @@ + +T7481.hs:12:13: + ‛D’ of kind ‛* -> *’ is not promotable + In the kind ‛D * -> *’ diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 34253fd45d..005c47a29d 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -97,3 +97,4 @@ test('T8534', normal, compile, ['']) test('T8566', normal, compile_fail,['']) test('T8616', normal, compile_fail,['']) test('T8566a', expect_broken(8566), compile,['']) +test('T7481', normal, compile_fail,[''])
\ No newline at end of file |