blob: b0fd12975f0c64dc1790b6cdd2d85553ac628f16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE IncoherentInstances, MultiParamTypeClasses, FlexibleInstances #-}
-- Liberated IncoherentInstances behavior (#8141)
class C a b where foo :: (a,b)
instance C Int b where foo = undefined
instance C a Int where foo = undefined
x :: (Int, Int)
x = foo
main = return ()
|