diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-06-29 06:55:23 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-06-29 06:55:23 +0000 |
| commit | 4afef64f8f3995800288b71bca7de8bbe6ef07f9 (patch) | |
| tree | 82fd2c2805ca8c48727496c92fa7e2ea3a533f57 /testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs | |
| parent | 0349d0be39b2f46056cb466605424991aebe4294 (diff) | |
| download | haskell-4afef64f8f3995800288b71bca7de8bbe6ef07f9.tar.gz | |
Type families: test type family with higher kinded parameters
Diffstat (limited to 'testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs b/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs index 7037b65d20..dd731240bc 100644 --- a/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs +++ b/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple6.hs @@ -2,6 +2,8 @@ module ShouldCompile where +import Data.IORef + data family T a data instance T a = T @@ -10,3 +12,6 @@ foo T = T type family S a type instance S a = a + +type family SMRef (m:: * -> *) :: * -> * +type instance SMRef IO = IORef
\ No newline at end of file |