diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T10592.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T10592.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10592.hs b/testsuite/tests/typecheck/should_compile/T10592.hs index 6c532906a4..a5bbb9534c 100644 --- a/testsuite/tests/typecheck/should_compile/T10592.hs +++ b/testsuite/tests/typecheck/should_compile/T10592.hs @@ -4,6 +4,7 @@ module T10592 where +import Data.Kind (Type) import Prelude (Bool(True,False),Integer,Ordering) import qualified Prelude @@ -11,7 +12,7 @@ import qualified Prelude -- class hierarchy class Boolean (Logic a) => Eq a where - type Logic a :: * + type Logic a :: Type (==) :: a -> a -> Logic a (/=) :: a -> a -> Logic a |