blob: 277e803294afece4e5ebb93ec08b11ef0f1a01da (
plain)
1
2
3
4
5
6
7
|
--Testing for proper name printing in complex error messages (a previous bug)
:set -XTypeFamilies
:set -XFlexibleInstances
class Listable t where ; type ListableElem t :: * ; asList :: t -> [ListableElem t]
instance Listable (a,a) where ; asList (a,b) = [a,b]
instance Listable (a,a) where ; type ListableElem (a,a) = a ; asList (a,b) = [a,b]
asList ("as","df")
|
