diff options
Diffstat (limited to 'testsuite/tests/backpack/should_compile/bkp15.bkp')
| -rw-r--r-- | testsuite/tests/backpack/should_compile/bkp15.bkp | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp15.bkp b/testsuite/tests/backpack/should_compile/bkp15.bkp index 6eb5364139..94678af234 100644 --- a/testsuite/tests/backpack/should_compile/bkp15.bkp +++ b/testsuite/tests/backpack/should_compile/bkp15.bkp @@ -15,10 +15,13 @@ unit p where class Eq a => Bloop a b | a -> b where data GMap a (v :: * -> *) :: * xa :: a -> a -> Bool - xa = (==) + -- TODO: Putting default definitions in the signature file + -- causes references to DFuns, which we choke on. These should + -- be disallowed. + -- xa = (==) y :: a -> a -> Ordering - default y :: Ord a => a -> a -> Ordering - y = compare + -- default y :: Ord a => a -> a -> Ordering + -- y = compare {-# MINIMAL xa | y #-} -- type instance Elem Int = Bool -- pattern Blub n = ("foo", n) @@ -37,10 +40,10 @@ unit q where class Eq a => Bloop a b | a -> b where data GMap a (v :: * -> *) :: * xa :: a -> a -> Bool - xa = (==) + -- xa = (==) y :: a -> a -> Ordering - default y :: Ord a => a -> a -> Ordering - y = compare + -- default y :: Ord a => a -> a -> Ordering + -- y = compare {-# MINIMAL xa | y #-} -- type instance Elem Int = Bool -- pattern Blub n = ("foo", n) @@ -73,10 +76,10 @@ unit h-impl where class Eq a => Bloop a b | a -> b where data GMap a (v :: * -> *) :: * xa :: a -> a -> Bool - xa = (==) + -- xa = (==) y :: a -> a -> Ordering - default y :: Ord a => a -> a -> Ordering - y = compare + -- default y :: Ord a => a -> a -> Ordering + -- y = compare {-# MINIMAL xa | y #-} unit s where dependency r[H=h-impl:H] |