d6de897fe1684ee7ea25a00b073b9b51cc863be0
[ghc-hetmet.git] / ghc / tests / deriving / should_compile / drv003.stderr
1  
2 drv003.hs:15: Warning: no explicit method nor default method for `=='
3               in an instance declaration for `Eq'
4  
5 drv003.hs:12: Warning: no explicit method nor default method for `=='
6               in an instance declaration for `Eq'
7 ghc: module version changed to 1; reason: no old .hi file
8 _interface_ ShouldSucceed 1
9 _instance_modules_
10 Addr ArrBase Foreign IO PrelNum
11 _usages_
12 PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 && 1 not 1 Eq 1 Eval 1;
13 PrelNum 1 :: $d18 1;
14 _exports_
15 ShouldSucceed Bar(MkBar) Foo(MkFoo) Ping T(C1 C2 C3);
16 _instances_
17 instance _forall_ [b] {Ping b} => {PrelBase.Eq (Bar b)} = $d1;
18 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Foo a)} = $d2;
19 instance _forall_ [a b] {PrelBase.Eq a, Ping a, PrelBase.Eq b, Ping b} => {PrelBase.Eq (T a b)} = $d3;
20 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d4;
21 instance _forall_ [a] => {PrelBase.Eval (Foo a)} = $d5;
22 instance _forall_ [a b] => {PrelBase.Eval (T a b)} = $d6;
23 _declarations_
24 1 $d1 _:_ _forall_ [b] {Ping b} => {PrelBase.Eq (Bar b)} ;;
25 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Foo a)} ;;
26 1 $d3 _:_ _forall_ [a b] {PrelBase.Eq a, Ping a, PrelBase.Eq b, Ping b} => {PrelBase.Eq (T a b)} ;;
27 1 $d4 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
28 1 $d5 _:_ _forall_ [a] => {PrelBase.Eval (Foo a)} ;;
29 1 $d6 _:_ _forall_ [a b] => {PrelBase.Eval (T a b)} ;;
30 1 data Bar a = MkBar PrelBase.Int PrelBase.Int ;
31 1 data Foo a = MkFoo PrelBase.Double a ;
32 1 class Ping a ;
33 1 data T a b = C1 (Foo a) (Bar b) |  C2 PrelBase.Int (T b a) |  C3 (T a a) ;