blob: 9541738852f3b3ac99a1db37219d26e7e750faf9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
unit impl where
module A where
data T = T
module B(module A, module B) where
import A
instance Show T where
show T = "T"
module C(module B) where
import B
unit sig where
signature B where
data T
instance Show T
module App where
import B
app :: T -> IO ()
app t = print t
unit top where
dependency sig[B=impl:C]
|