diff options
author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-09 13:40:10 +0100 |
---|---|---|
committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-09 13:40:10 +0100 |
commit | 09af1e9b4f8151a8b32e05ff7041cebe1edec1be (patch) | |
tree | 90d6179e372c5197450de796c654f9cbe85f4ec5 /testsuite/tests/typecheck/should_compile/tc255.hs | |
parent | 3723ffd41a728feced8ba99059253c03814689cc (diff) | |
parent | 9857fca7e233be6206c101625a62c52266b88767 (diff) | |
download | haskell-09af1e9b4f8151a8b32e05ff7041cebe1edec1be.tar.gz |
Merge branch 'no-pred-ty'
Conflicts:
tests/safeHaskell/safeLanguage/all.T
tests/safeHaskell/unsafeLibs/all.T
tests/typecheck/should_compile/all.T
tests/typecheck/should_compile/tc250.hs
tests/typecheck/should_compile/tc251.hs
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc255.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc255.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc255.hs b/testsuite/tests/typecheck/should_compile/tc255.hs new file mode 100644 index 0000000000..a9b0440db9 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc255.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE TypeFamilies, ConstraintKinds, UndecidableInstances #-} +module Ctx where + +type family Indirect :: * -> Constraint +type instance Indirect = Show + +class Cls a where + f :: a -> String + +instance Indirect a => Cls [a] where + f = show |