diff options
Diffstat (limited to 'testsuite/tests/generics/T10361b.hs')
-rw-r--r-- | testsuite/tests/generics/T10361b.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/generics/T10361b.hs b/testsuite/tests/generics/T10361b.hs index 6ecd99e644..e655c7c4c0 100644 --- a/testsuite/tests/generics/T10361b.hs +++ b/testsuite/tests/generics/T10361b.hs @@ -16,7 +16,9 @@ class Convert a where type instance Result a = GResult (Rep a) convert :: a -> Result a - default convert :: (Generic a, GConvert (Rep a)) => a -> GResult (Rep a) + default convert + :: (Generic a, GConvert (Rep a), Result a ~ GResult (Rep a)) + => a -> Result a convert x = gconvert (from x) instance Convert Float where |