2 Print004.hs:18: Warning:
3 No explicit method nor default method for `showsPrec'
4 in an instance declaration for `Show'
7 ==================== Typechecked ====================
8 ExportOpaque.Con{-r6Q-} =
9 _/\_ a_tr6X -> \ x1_B1 ->
10 ExportOpaque.Con{-r6Q-} {_@_ a_tr6X x1_B1}
11 ExportOpaque.Junk11{-r4-} =
12 _/\_ a_tr6V -> ExportOpaque.Junk11{-r4-} {_@_ a_tr6V}
13 ExportOpaque.Junk2{-r3-} =
14 _/\_ a_tr6V -> ExportOpaque.Junk2{-r3-} {_@_ a_tr6V}
18 [([a_taRg], ExportOpaque.$dEvalOpaqueType0{-rRj-}, d.Eval_aPP)]
21 {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taRg)} "Compiler error: bad dictionary Eval"
26 ExportOpaque.$dEvalFunnyInternalType0{-rRo-},
30 {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taRh)} "Compiler error: bad dictionary Eval"
34 [([a_taQ4], ExportOpaque.$dShowOpaqueType0{-rRn-}, d.Show_aQ1)]
36 PrelBase.showsPrec{-r5W-}
37 (ExportOpaque.FunnyInternalType{-r6P-} a_taQ4)
39 showsPrec_aRi = showsPrec_aQf
41 ExportOpaque.$dShowFunnyInternalType0{-rRm-} a_taQ4 d.Ord_aQI
43 AbsBinds [] [] [([], showList_aQ3, showList_aRq)]
44 showList_aRq = PrelBase.showList__{-r70-}
45 (ExportOpaque.OpaqueType{-r1e-} a_taQ4) showsPrec_aRi PrelBase.I#{-5b-} 0#
46 AbsBinds [] [] [([], showsPrec_aQf, showsPrec_aRr)]
47 showsPrec_aRr a_rPa (ExportOpaque.Con{-r6Q-} b1_rPb)
48 = PrelBase.showParen{-r6t-} a_rPa >=_aRk lit_aRl
50 [PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con "
51 showsPrec_aRp PrelBase.I#{-5b-} 10#
54 PrelBase.:Show{-r1d-} (ExportOpaque.OpaqueType{-r1e-} a_taQ4)
61 ExportOpaque.$dShowFunnyInternalType0{-rRm-},
64 PrelBase.$mshowList{-ri7-}
65 (ExportOpaque.FunnyInternalType{-r6P-} a_taQU)
67 d.Show_aRa = d.Show_aQR
68 AbsBinds [] [] [([], showList_aQT, showList_aRt)]
69 showList_aRt = $mshowList_aRs
70 AbsBinds [] [] [([], showsPrec_aR2, showsPrec_aRu)]
72 = PrelErr.noMethodBindingError{-8k-}
74 -> ExportOpaque.FunnyInternalType{-r6P-} a_taQU
75 -> PrelBase.String{-r5U-}
76 -> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec"
78 PrelBase.:Show{-r1d-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQU)
81 lit_aRl = PrelBase.I#{-5b-} 10#
82 >=_aRk = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aRf
83 d.Ord_aRf = PrelBase.$dOrdInt0{-rdN-}
86 ghc: module version changed to 1; reason: no old .hi file
88 ExportOpaque OpaqueType;
90 instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $dEvalFunnyInternalType0;
91 instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $dEvalOpaqueType0;
92 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $dShowFunnyInternalType0;
93 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $dShowOpaqueType0;
95 1 $dEvalFunnyInternalType0 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
96 1 $dEvalOpaqueType0 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
97 1 $dShowFunnyInternalType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
98 1 $dShowOpaqueType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
99 1 data FunnyInternalType a = Junk11 | Junk2 ;
100 1 data OpaqueType a = Con (FunnyInternalType a) ;