2f7bcdcc836a3e2f491a015a334281ef99cd007c
[ghc-hetmet.git] / ghc / tests / deriving / should_compile / drv001.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
3 _instance_modules_
4 Addr ArrBase Foreign IO PrelBounded PrelNum
5 _usages_
6 PrelBase 1 :: $d1 1 $d10 1 $d12 1 $d13 1 $d15 1 $d16 1 $d17 1 $d18 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d6 1 $d7 1 $d8 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
7 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
8 PrelRead 1 :: $d10 1 $d11 1 $d14 1 $d15 1 $d16 1 $d4 1 $d5 1 $d6 1 $d8 1 $mreadList 1 lex 1 readList__ 1 readParen 1 Read 1 ReadS 1;
9 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
10 _exports_
11 ShouldSucceed T(E1) X(C1 C2 C3) Y(D1 D2);
12 _instances_
13 instance _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} = $d1;
14 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} = $d2;
15 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d3;
16 instance _forall_ [b] => {PrelBase.Eval (Y b)} = $d4;
17 instance _forall_ [a b] => {PrelBase.Eval (X a b)} = $d5;
18 instance _forall_ [b] {PrelBase.Eq b} => {PrelRead.Read (Y b)} = $d6;
19 instance _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelRead.Read (X a b)} = $d7;
20 instance _forall_ [b] {PrelBase.Eq b} => {PrelBase.Show (Y b)} = $d8;
21 instance _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Show (X a b)} = $d9;
22 _declarations_
23 1 $d1 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} ;;
24 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} ;;
25 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
26 1 $d4 _:_ _forall_ [b] => {PrelBase.Eval (Y b)} ;;
27 1 $d5 _:_ _forall_ [a b] => {PrelBase.Eval (X a b)} ;;
28 1 $d6 _:_ _forall_ [b] {PrelBase.Eq b} => {PrelRead.Read (Y b)} ;;
29 1 $d7 _:_ _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelRead.Read (X a b)} ;;
30 1 $d8 _:_ _forall_ [b] {PrelBase.Eq b} => {PrelBase.Show (Y b)} ;;
31 1 $d9 _:_ _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Show (X a b)} ;;
32 1 data T a = E1 ;
33 1 data X a b = C1 (T a) |  C2 (Y b) |  C3 (X b a) ;
34 1 data Y b = D1 |  D2 (X PrelBase.Int b) ;