blob: a463e153b49d6ce729498283250185ed8ebedf6e (
plain)
1
2
3
4
5
6
7
8
|
--Testing for proper name printing in complex error messages (a previous bug)
:set -XTypeFamilies
:set -XFlexibleInstances
import Data.Kind (Type)
class Listable t where ; type ListableElem t :: Type; 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")
|
