blob: 9dd6eb795653ff77d755eb74e7d04918024b8fc5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE DefaultSignatures #-}
module WarnMinimalFail3 where
class Parent a where
parent :: a
default parent :: Child a => a
parent = child
class Parent a => Child a where
child :: a
child = parent
{-# MINIMAL parent | child #-}
-- we would like this to work, but it doesn't yet.
|
