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{-r6P-} =
   9     _/\_ a_tr6W -> \ tpl_B1 ->
  10         ExportOpaque.Con{-r6P-} {_@_ a_tr6W tpl_B1}
  11 ExportOpaque.Junk11{-r4-} =
  12     _/\_ a_tr6U -> ExportOpaque.Junk11{-r4-} {_@_ a_tr6U}
  13 ExportOpaque.Junk2{-r3-} =
  14     _/\_ a_tr6U -> ExportOpaque.Junk2{-r3-} {_@_ a_tr6U}
  15 AbsBinds
  16 [a_taKh]
  17 []
  18 [([a_taKh], ExportOpaque.$d2{-rKl-}, d.Eval_aIQ)]
  19     d.Eval_aIQ =
  20         PrelBase.:Eval{-rN-} (ExportOpaque.OpaqueType{-r1d-} a_taKh)
  21 AbsBinds
  22 [a_taKi]
  23 []
  24 [([a_taKi], ExportOpaque.$d3{-rKq-}, d.Eval_aIW)]
  25     d.Eval_aIW =
  26         PrelBase.:Eval{-rN-} (ExportOpaque.FunnyInternalType{-r6O-} a_taKi)
  27 AbsBinds
  28 [a_taJb]
  29 [d.Ord_aJx]
  30 [([a_taJb], ExportOpaque.$d4{-rKp-}, d.Show_aJ2)]
  31     showsPrec_aKs =
  32         PrelBase.showsPrec{-r5W-}
  33             (ExportOpaque.FunnyInternalType{-r6O-} a_taJb)
  34             d.Show_aJF
  35     showsPrec_aKj = showsPrec_aKk
  36     d.Show_aJF = ExportOpaque.$d1{-rKo-} a_taJb d.Ord_aJH
  37     d.Ord_aJH = d.Ord_aJx
  38     AbsBinds [] [] [([], showsPrec_aKk, showsPrec_aKt)]
  39         showsPrec_aKt a_rI9 (ExportOpaque.Con{-r6P-} b1_rIa)
  40                       = PrelBase.showParen{-r6s-} a_rI9 >=_aKm lit_aKn
  41                                                   PrelBase..{-r6C-}
  42                                                       [PrelBase.String{-r5T-}, PrelBase.String{-r5T-}, PrelBase.String{-r5T-}] PrelBase.showString{-r6r-} "Con "
  43                                                                                                                                showsPrec_aKs PrelBase.I#{-5b-} 10#
  44                                                                                                                                              b1_rIa
  45     AbsBinds [] [] [([], showList_aKr, showList_aKu)]
  46         showList_aKu = PrelBase.showList__{-r6Z-}
  47                            (ExportOpaque.OpaqueType{-r1d-} a_taJb) showsPrec_aKj PrelBase.I#{-5b-} 0#
  48     d.Show_aJ2 =
  49         PrelBase.:Show{-r1c-}
  50             (ExportOpaque.OpaqueType{-r1d-} a_taJb) showsPrec_aKk showList_aKr
  51 AbsBinds
  52 [a_taJT]
  53 [d.Ord_aK5]
  54 [([a_taJT], ExportOpaque.$d1{-rKo-}, d.Show_aJQ)]
  55     $mshowList_aKx =
  56         PrelBase.$mshowList{-rhx-}
  57             (ExportOpaque.FunnyInternalType{-r6O-} a_taJT)
  58             d.Show_aKb
  59     d.Show_aKb = d.Show_aJQ
  60     AbsBinds [] [] [([], showsPrec_aKw, showsPrec_aKy)]
  61         showsPrec_aKy
  62             = PrelErr.noDefaultMethodError{-8k-}
  63                   (PrelBase.Int{-3f-}
  64                    -> ExportOpaque.FunnyInternalType{-r6O-} a_taJT
  65                    -> PrelBase.String{-r5T-}
  66                    -> PrelBase.String{-r5T-}) "<<function>>"
  67     AbsBinds [] [] [([], showList_aKv, showList_aKz)]
  68         showList_aKz = $mshowList_aKx
  69     d.Show_aJQ =
  70         PrelBase.:Show{-r1c-}
  71             (ExportOpaque.FunnyInternalType{-r6O-} a_taJT) showsPrec_aKw
  72                                                            showList_aKv
  73 lit_aKn = PrelBase.I#{-5b-} 10#
  74 >=_aKm = PrelBase.>={-810-} PrelBase.Int{-3f-} d.Ord_aKg
  75 d.Ord_aKg = PrelBase.$d6{-rdt-}
  76
  77
  78 ghc: module version changed to 1; reason: no old .hi file
  79 _interface_ ExportOpaque 1
  80 _instance_modules_
  81 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
  82 _usages_
  83 PrelBase 1 :: $d1 1 $d10 1 $d12 1 $d13 1 $d15 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 $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;
  84 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
  85 _exports_
  86 ExportOpaque OpaqueType;
  87 _instances_
  88 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $d1;
  89 instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $d2;
  90 instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $d3;
  91 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $d4;
  92 _declarations_
  93 1 $d1 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
  94 1 $d2 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
  95 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
  96 1 $d4 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
  97 1 data FunnyInternalType a = Junk11 |  Junk2 ;
  98 1 data OpaqueType a = Con (FunnyInternalType a) ;