ghc/tests/printing/should_compile/Print004.stderr

   1
   2 Print004.hs:18: Warning:
   3     No explicit method nor default method for `showsPrec'
   4     in an instance declaration for `Show'
   5
   6
   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}
  15 AbsBinds
  16 [a_taQG]
  17 []
  18 [([a_taQG], ExportOpaque.$dEvalOpaqueType0{-rQJ-}, d.Eval_aPf)]
  19     d.Eval_aPf =
  20         PrelErr.error{-87-}
  21             {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taQG)} "Compiler error: bad dictionary Eval"
  22 AbsBinds
  23 [a_taQH]
  24 []
  25 [([a_taQH],
  26   ExportOpaque.$dEvalFunnyInternalType0{-rQO-},
  27   d.Eval_aPl)]
  28     d.Eval_aPl =
  29         PrelErr.error{-87-}
  30             {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQH)} "Compiler error: bad dictionary Eval"
  31 AbsBinds
  32 [a_taPu]
  33 [d.Ord_aPW]
  34 [([a_taPu], ExportOpaque.$dShowOpaqueType0{-rQN-}, d.Show_aPr)]
  35     showsPrec_aQP =
  36         PrelBase.showsPrec{-r5W-}
  37             (ExportOpaque.FunnyInternalType{-r6P-} a_taPu)
  38             d.Show_aQ6
  39     showsPrec_aQI = showsPrec_aPF
  40     d.Show_aQ6 =
  41         ExportOpaque.$dShowFunnyInternalType0{-rQM-} a_taPu d.Ord_aQ8
  42     d.Ord_aQ8 = d.Ord_aPW
  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
  49                                                   PrelBase..{-r6D-}
  50                                                       [PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con "
  51                                                                                                                                showsPrec_aQP PrelBase.I#{-5b-} 10#
  52                                                                                                                                              b1_rOB
  53     d.Show_aPr =
  54         PrelBase.:Show{-r1d-}
  55             (ExportOpaque.OpaqueType{-r1e-} a_taPu) showList_aPt showsPrec_aPF
  56 AbsBinds
  57 [a_taQk]
  58 [d.Ord_aQw]
  59 [([a_taQk],
  60   ExportOpaque.$dShowFunnyInternalType0{-rQM-},
  61   d.Show_aQh)]
  62     $mshowList_aQS =
  63         PrelBase.$mshowList{-ri7-}
  64             (ExportOpaque.FunnyInternalType{-r6P-} a_taQk)
  65             d.Show_aQA
  66     d.Show_aQA = d.Show_aQh
  67     AbsBinds [] [] [([], showList_aQj, showList_aQT)]
  68         showList_aQT = $mshowList_aQS
  69     AbsBinds [] [] [([], showsPrec_aQs, showsPrec_aQU)]
  70         showsPrec_aQU
  71             = PrelErr.noMethodBindingError{-8k-}
  72                   (PrelBase.Int{-3f-}
  73                    -> ExportOpaque.FunnyInternalType{-r6P-} a_taQk
  74                    -> PrelBase.String{-r5U-}
  75                    -> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec"
  76     d.Show_aQh =
  77         PrelBase.:Show{-r1d-}
  78             (ExportOpaque.FunnyInternalType{-r6P-} a_taQk) showList_aQj
  79                                                            showsPrec_aQs
  80 lit_aQL = PrelBase.I#{-5b-} 10#
  81 >=_aQK = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aQF
  82 d.Ord_aQF = PrelBase.$dOrdInt0{-rdN-}
  83
  84
  85 ghc: module version changed to 1; reason: no old .hi file
  86 _interface_ ExportOpaque 1 302
  87 _instance_modules_
  88 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
  89 _usages_
  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;
  92 _exports_
  93 ExportOpaque OpaqueType;
  94 _instances_
  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;
  99 _declarations_
 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) ;