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_taQG], ExportOpaque.$dEvalOpaqueType0{-rQJ-}, d.Eval_aPf)]
21 {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taQG)} "Compiler error: bad dictionary Eval"
26 ExportOpaque.$dEvalFunnyInternalType0{-rQO-},
30 {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQH)} "Compiler error: bad dictionary Eval"
34 [([a_taPu], ExportOpaque.$dShowOpaqueType0{-rQN-}, d.Show_aPr)]
36 PrelBase.showsPrec{-r5W-}
37 (ExportOpaque.FunnyInternalType{-r6P-} a_taPu)
39 showsPrec_aQI = showsPrec_aPF
41 ExportOpaque.$dShowFunnyInternalType0{-rQM-} a_taPu d.Ord_aQ8
43 AbsBinds [] [] [([], showList_aPt, showList_aQQ)]
44 showList_aQQ = PrelBase.showList__{-r70-}
45 (ExportOpaque.OpaqueType{-r1e-} a_taPu) showsPrec_aQI PrelBase.I#{-5b-} 0#
46 AbsBinds [] [] [([], showsPrec_aPF, showsPrec_aQR)]
47 showsPrec_aQR a_rOA (ExportOpaque.Con{-r6Q-} b1_rOB)
48 = PrelBase.showParen{-r6t-} a_rOA >=_aQK lit_aQL
50 [PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con "
51 showsPrec_aQP PrelBase.I#{-5b-} 10#
55 (ExportOpaque.OpaqueType{-r1e-} a_taPu) showList_aPt showsPrec_aPF
60 ExportOpaque.$dShowFunnyInternalType0{-rQM-},
63 PrelBase.$mshowList{-ri7-}
64 (ExportOpaque.FunnyInternalType{-r6P-} a_taQk)
66 d.Show_aQA = d.Show_aQh
67 AbsBinds [] [] [([], showList_aQj, showList_aQT)]
68 showList_aQT = $mshowList_aQS
69 AbsBinds [] [] [([], showsPrec_aQs, showsPrec_aQU)]
71 = PrelErr.noMethodBindingError{-8k-}
73 -> ExportOpaque.FunnyInternalType{-r6P-} a_taQk
74 -> PrelBase.String{-r5U-}
75 -> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec"
78 (ExportOpaque.FunnyInternalType{-r6P-} a_taQk) showList_aQj
80 lit_aQL = PrelBase.I#{-5b-} 10#
81 >=_aQK = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aQF
82 d.Ord_aQF = PrelBase.$dOrdInt0{-rdN-}
85 ghc: module version changed to 1; reason: no old .hi file
86 _interface_ ExportOpaque 1 302
88 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
90 PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 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 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
91 PrelNum 1 :: $dEqDouble0 1 $dEqInteger0 1 $dNumDouble0 1 $dNumInteger0 1 $dOrdDouble0 1 $dOrdInteger0 1 $dShowDouble0 1 $dShowInteger0 1;
93 ExportOpaque OpaqueType;
95 instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $dEvalFunnyInternalType0;
96 instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $dEvalOpaqueType0;
97 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $dShowFunnyInternalType0;
98 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $dShowOpaqueType0;
100 1 $dEvalFunnyInternalType0 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
101 1 $dEvalOpaqueType0 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
102 1 $dShowFunnyInternalType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
103 1 $dShowOpaqueType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
104 1 data FunnyInternalType a = Junk11 | Junk2 ;
105 1 data OpaqueType a = Con (FunnyInternalType a) ;