diff options
Diffstat (limited to 'testsuite/tests/rebindable/rebindable6.hs')
-rw-r--r-- | testsuite/tests/rebindable/rebindable6.hs | 5 |
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 }; |