blob: 9fd49e5ff29f0a3a9cbb9be6f6e0764e768339cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
unit sig where
signature A where
data T
instance Show T
module M where
import A
f :: T -> String
f x = show x
unit mod where
module A where
data X = X -- no Show instance
type T = [X]
unit join where
dependency sig[A=mod:A]
module S where
import M
g :: String -> String
g x = f (x ++ "a")
|
