diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/InstEqContext3.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/InstEqContext3.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/InstEqContext3.hs b/testsuite/tests/indexed-types/should_compile/InstEqContext3.hs index 032ef34bc1..8fbd626e9d 100644 --- a/testsuite/tests/indexed-types/should_compile/InstEqContext3.hs +++ b/testsuite/tests/indexed-types/should_compile/InstEqContext3.hs @@ -1,17 +1,17 @@ {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} {-# LANGUAGE TypeFamilies #-} -module InstEqContext where +module InstEqContext where -{- encoding of - - class C a | -> a +{- encoding of + - class C a | -> a - with extra indirection -} -class a ~ Int => D a +class a ~ Int => D a instance D Int -class D a => C a +class D a => C a instance C Int unC :: (C a) => a -> Int |