The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail11.bkp
1 {-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
2 unit sig where
3     signature A where
4         data T
5         instance Show T
6     module M where
7         import A
8         f :: T -> String
9         f x = show x
10
11 unit mod where
12     module A where
13         data X = X -- no Show instance
14         type T = [X]
15
16 unit join where
17     dependency sig[A=mod:A]
18     module S where
19         import M
20         g :: String -> String
21         g x = f (x ++ "a")