blob: 59590f91250dce27d5cd3e08114ba5e3b212d498 (
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 main where
dependency sig[B=impl:C]
|
