summaryrefslogtreecommitdiff
path: root/testsuite/tests/rebindable/rebindable6.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rebindable/rebindable6.hs')
-rw-r--r--testsuite/tests/rebindable/rebindable6.hs5
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.hs b/testsuite/tests/rebindable/rebindable6.hs
index ec975e7f37..3ec03477d2 100644
--- a/testsuite/tests/rebindable/rebindable6.hs
+++ b/testsuite/tests/rebindable/rebindable6.hs
@@ -3,6 +3,7 @@
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE TypeFamilies #-}
module Main where
{
@@ -88,7 +89,7 @@ module Main where
negate :: a;
};
- instance HasNegate (a -> a) where
+ instance (b ~ (a -> a)) => HasNegate b where
{
negate a = a; -- don't actually negate
};
@@ -98,7 +99,7 @@ module Main where
(-) :: a;
};
- instance HasMinus (a -> a -> a) where
+ instance (b ~ (a -> a -> a)) => HasMinus b where
{
(-) x y = y; -- changed function
};