The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_run / bkprun02.bkp
1 unit p where
2     signature H where
3         data T
4         f :: T -> T
5     module A where
6         import H
7         data A = MkA T
8         ff :: A -> A
9         ff (MkA t) = MkA (f t)
10
11 unit q where
12     module H where
13         data T = T Int
14         f (T i) = T (i+1)
15
16 unit main where
17     dependency q
18     dependency p[H=q:H]
19     module Main where
20         import A
21         import H
22         main = case ff (MkA (T 0)) of
23                     MkA (T i) -> print i