ghc/tests/printing/should_compile/Print004.stderr

   1
   2 Print004.hs:18: Warning: no explicit method nor default method for `showsPrec'
   3                 in an instance declaration for `Show'
   4 ==================== Typechecked ====================
   5 Con{-r6v,l-}{i} =
   6     _/\_ a_tr6C -> \ tpl_B1 -> Con{-r6v,l-}{i} {_@_ a_tr6C tpl_B1}
   7 Junk11{-r4,l-}{i} = _/\_ a_tr6A -> Junk11{-r4,l-}{i} {_@_ a_tr6A}
   8 Junk2{-r3,l-}{i} = _/\_ a_tr6A -> Junk2{-r3,l-}{i} {_@_ a_tr6A}
   9 AbsBinds [taI0] [] [([taI0], $d2{-rI2,x-}, d.Eval_aGJ)]
  10     d.Eval_aGJ = ({-dict-} [] [])
  11 AbsBinds [taI1] [] [([taI1], $d3{-rI7,x-}, d.Eval_aGP)]
  12     d.Eval_aGP = ({-dict-} [] [])
  13 AbsBinds [taH4] [d.Ord_aHo] [([taH4], $d4{-rI6,x-}, d.Show_aGV)]
  14     d.Ord_aHw = d.Ord_aHo
  15     d.Show_aHu = $d1{-rI5,x-} taH4 d.Ord_aHw
  16     showsPrec_aIb =
  17         PrelBase.showsPrec{-r5B,p-} (FunnyInternalType{-r6u,l-} taH4)
  18             d.Show_aHu
  19     showsPrec_aIa = showsPrec_aI9
  20     AbsBinds [] [] [([], showsPrec_aI9, showsPrec_aIc)]
  21         showsPrec_aIc a_rG2 (Con{-r6v,l-}{i} b1_rG3)
  22                       = PrelBase.showParen{-r63,p-} a_rG2 >=_aI4 lit_aI3
  23                                                     PrelBase..{-r6d,p-}
  24                                                         [PrelBase.String{-r5y,p-}, PrelBase.String{-r5y,p-}, PrelBase.String{-r5y,p-}] PrelBase.showString{-r62,p-} "Con "
  25                                                                                                                                        showsPrec_aIb PrelBase.I#{-5b,w-}{i} 10#
  26                                                                                                                                                      b1_rG3
  27     AbsBinds [] [] [([], showList_aI8, showList_aId)]
  28         showList_aId = PrelBase.showList__{-r6F,p-}
  29                            (OpaqueType{-r6,x-} taH4) showsPrec_aIa PrelBase.I#{-5b,w-}{i} 0#
  30     d.Show_aGV = ({-dict-} [] [showsPrec_aI9, showList_aI8])
  31 AbsBinds [taHK] [d.Ord_aHS] [([taHK], $d1{-rI5,x-}, d.Show_aHD)]
  32     d.Show_aHW = d.Show_aHD
  33     $mshowList_aIg =
  34         PrelBase.$mshowList{-rh6,p-} (FunnyInternalType{-r6u,l-} taHK)
  35             d.Show_aHW
  36     AbsBinds [] [] [([], showsPrec_aIf, showsPrec_aIh)]
  37         showsPrec_aIh
  38             = GHCerr.noDefaultMethodError{-8k,w-}
  39                   (PrelBase.Int{-3f,W-}
  40                    -> FunnyInternalType{-r6u,l-} taHK
  41                    -> PrelBase.String{-r5y,p-}
  42                    -> PrelBase.String{-r5y,p-}) "<NoSrcLoc>|showsPrec"
  43     AbsBinds [] [] [([], showList_aIe, showList_aIi)]
  44         showList_aIi = $mshowList_aIg
  45     d.Show_aHD = ({-dict-} [] [showsPrec_aIf, showList_aIe])
  46 d.Ord_aHZ = PrelBase.$d6{-rcZ,p-}
  47 >=_aI4 = PrelBase.>={-810,p-} PrelBase.Int{-3f,W-} d.Ord_aHZ
  48 lit_aI3 = PrelBase.I#{-5b,w-}{i} 10#
  49
  50 ghc: module version changed to 1; reason: no old .hi file
  51 _interface_ ExportOpaque 1
  52 _instance_modules_
  53 Addr ArrBase Foreign IO PrelBounded PrelNum
  54 _usages_
  55 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;
  56 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
  57 _exports_
  58 ExportOpaque OpaqueType;
  59 _instances_
  60 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $d1;
  61 instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $d2;
  62 instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $d3;
  63 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $d4;
  64 _declarations_
  65 1 $d1 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
  66 1 $d2 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
  67 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
  68 1 $d4 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
  69 1 data FunnyInternalType a = Junk11 |  Junk2 ;
  70 1 data OpaqueType a = Con (FunnyInternalType a) ;