diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-08-03 21:37:45 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-08-12 11:46:20 -0400 |
| commit | 8d27c764aca6dba9ec150cb7e4d68d03e8a7e338 (patch) | |
| tree | 3f867b2bbc2843ad59ac897617971d54cd185c5f /testsuite | |
| parent | 1a3e19d061c1e5a1db9789572eca3a0ade450954 (diff) | |
| download | haskell-8d27c764aca6dba9ec150cb7e4d68d03e8a7e338.tar.gz | |
Test #9200. (polykinds/T9200)
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/polykinds/T9200.hs | 19 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T9200.hs b/testsuite/tests/polykinds/T9200.hs new file mode 100644 index 0000000000..b74177a54c --- /dev/null +++ b/testsuite/tests/polykinds/T9200.hs @@ -0,0 +1,19 @@ +{-# LANGUAGE PolyKinds, MultiParamTypeClasses, FlexibleContexts, DataKinds #-} + +module T9200 where + +------ +-- test CUSK on classes + +class C (f :: k) (a :: k2) where + c_meth :: D a => () + +class C () a => D a + + +--------- +--- test CUSK on type synonyms +data T1 a b c = MkT1 (S True b c) +data T2 p q r = MkT2 (S p 5 r) +data T3 x y q = MkT3 (S x y '()) +type S (f :: k1) (g :: k2) (h :: k3) = ((T1 f g h, T2 f g h, T3 f g h) :: *) diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 22a159d50e..abb158bc88 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -106,3 +106,4 @@ test('T9222', normal, compile, ['']) test('T9264', normal, compile, ['']) test('T9263', normal, run_command, ['$MAKE -s --no-print-directory T9263']) test('T9063', normal, compile, ['']) +test('T9200', normal, compile, ['']) |