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_taRg]
  17 []
  18 [([a_taRg], ExportOpaque.$dEvalOpaqueType0{-rRj-}, d.Eval_aPP)]
  19     d.Eval_aPP =
  20         PrelErr.error{-87-}
  21             {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taRg)} "Compiler error: bad dictionary Eval"
  22 AbsBinds
  23 [a_taRh]
  24 []
  25 [([a_taRh],
  26   ExportOpaque.$dEvalFunnyInternalType0{-rRo-},
  27   d.Eval_aPV)]
  28     d.Eval_aPV =
  29         PrelErr.error{-87-}
  30             {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taRh)} "Compiler error: bad dictionary Eval"
  31 AbsBinds
  32 [a_taQ4]
  33 [d.Ord_aQw]
  34 [([a_taQ4], ExportOpaque.$dShowOpaqueType0{-rRn-}, d.Show_aQ1)]
  35     showsPrec_aRp =
  36         PrelBase.showsPrec{-r5W-}
  37             (ExportOpaque.FunnyInternalType{-r6P-} a_taQ4)
  38             d.Show_aQG
  39     showsPrec_aRi = showsPrec_aQf
  40     d.Show_aQG =
  41         ExportOpaque.$dShowFunnyInternalType0{-rRm-} a_taQ4 d.Ord_aQI
  42     d.Ord_aQI = d.Ord_aQw
  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
  49                                                   PrelBase..{-r6D-}
  50                                                       [PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con "
  51                                                                                                                                showsPrec_aRp PrelBase.I#{-5b-} 10#
  52                                                                                                                                              b1_rPb
  53     d.Show_aQ1 =
  54         PrelBase.:Show{-r1d-} (ExportOpaque.OpaqueType{-r1e-} a_taQ4)
  55                               showList_aQ3
  56                               showsPrec_aQf
  57 AbsBinds
  58 [a_taQU]
  59 [d.Ord_aR6]
  60 [([a_taQU],
  61   ExportOpaque.$dShowFunnyInternalType0{-rRm-},
  62   d.Show_aQR)]
  63     $mshowList_aRs =
  64         PrelBase.$mshowList{-ri7-}
  65             (ExportOpaque.FunnyInternalType{-r6P-} a_taQU)
  66             d.Show_aRa
  67     d.Show_aRa = d.Show_aQR
  68     AbsBinds [] [] [([], showList_aQT, showList_aRt)]
  69         showList_aRt = $mshowList_aRs
  70     AbsBinds [] [] [([], showsPrec_aR2, showsPrec_aRu)]
  71         showsPrec_aRu
  72             = PrelErr.noMethodBindingError{-8k-}
  73                   (PrelBase.Int{-3f-}
  74                    -> ExportOpaque.FunnyInternalType{-r6P-} a_taQU
  75                    -> PrelBase.String{-r5U-}
  76                    -> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec"
  77     d.Show_aQR =
  78         PrelBase.:Show{-r1d-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQU)
  79                               showList_aQT
  80                               showsPrec_aR2
  81 lit_aRl = PrelBase.I#{-5b-} 10#
  82 >=_aRk = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aRf
  83 d.Ord_aRf = PrelBase.$dOrdInt0{-rdN-}
  84
  85
  86 ghc: module version changed to 1; reason: no old .hi file
  87 _exports_
  88 ExportOpaque OpaqueType;
  89 _instances_
  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;
  94 _declarations_
  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) ;