ghc/compiler/tests/printing/Print004.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 Con{-r6v,l-}{i} =
   8     _/\_ a{-r6C-} -> \ tpl_B1 ->
   9         Con{-r6v,l-}{i}
  10             {_@_ a{-r6C-} tpl_B1}
  11 {- nonrec -}
  12 Junk11{-r4,l-}{i} =
  13     _/\_ a{-r6A-} ->
  14         Junk11{-r4,l-}{i}
  15             {_@_ a{-r6A-}}
  16 Junk2{-r3,l-}{i} =
  17     _/\_ a{-r6A-} ->
  18         Junk2{-r3,l-}{i}
  19             {_@_ a{-r6A-}}
  20 {- rec -}
  21 AbsBinds [a{-aLt-}] [] [([a{-aLt-}], $d2{-rLv,x-}, d.Eval_aJU)]
  22     d.Eval_aJU =
  23         ({-dict-} [] [])
  24 {- rec -}
  25 AbsBinds [a{-aLu-}] [] [([a{-aLu-}], $d3{-rLD,x-}, d.Eval_aK0)]
  26     d.Eval_aK0 =
  27         ({-dict-} [] [])
  28 {- rec -}
  29 AbsBinds
  30 [a{-aKf-}]
  31 [d.Ord_aKF]
  32 [([a{-aKf-}], $d4{-rLE,x-}, d.Show_aK6)]
  33     d.Ord_aKR =
  34         d.Ord_aKF
  35     d.Show_aKP =
  36         $d1{-rLJ,x-}
  37             a{-aKf-}
  38             d.Ord_aKR
  39     showsPrec_aLI =
  40         PrelBase.showsPrec{-r5t,p-}
  41             (FunnyInternalType{-r6u,l-} a{-aKf-})
  42             d.Show_aKP
  43     showsPrec_aLH =
  44         showsPrec_aLG
  45     AbsBinds [] [] [([], showsPrec_aLG, showsPrec_aK9)]
  46         lit_aLK =
  47             lit_aLA
  48         showsPrec_aK9
  49             a_rJ8 (Con{-r6v,l-}{i} b1_rJa)
  50                     =   PrelBase.showParen{-r61,p-}
  51                             a_rJ8 >=_aLC lit_aLA
  52                             PrelBase..{-r6d,p-}
  53                                 [PrelBase.String{-r5q,p-}, PrelBase.String{-r5q,p-}, PrelBase.String{-r5q,p-}]
  54                                 PrelBase.showString{-r60,p-}
  55                                     "Con "
  56                                 showsPrec_aLI
  57                                     lit_aLK b1_rJa
  58     AbsBinds [] [] [([], showList_aLF, showList_aKA)]
  59         showList_aKA
  60                     =   PrelBase.showList__{-r6F,p-}
  61                             (OpaqueType{-r6,x-} a{-aKf-})
  62                             showsPrec_aLH
  63                                 lit_aLw
  64     d.Show_aK6 =
  65         ({-dict-} [] [showsPrec_aLG, showList_aLF])
  66 {- rec -}
  67 AbsBinds
  68 [a{-aL6-}]
  69 [d.Ord_aLf]
  70 [([a{-aL6-}], $d1{-rLJ,x-}, d.Show_aKZ)]
  71     d.Show_aLj =
  72         d.Show_aKZ
  73     $mshowsPrec_aLM =
  74         PrelBase.$mshowsPrec{-rfh,p-}
  75             (FunnyInternalType{-r6u,l-} a{-aL6-})
  76             d.Show_aLj
  77     d.Show_aLl =
  78         d.Show_aKZ
  79     $mshowList_aLL =
  80         PrelBase.$mshowList{-rfg,p-}
  81             (FunnyInternalType{-r6u,l-} a{-aL6-})
  82             d.Show_aLl
  83     AbsBinds [] [] [([], showsPrec_aL1, showsPrec_aL3)]
  84         showsPrec_aL3
  85             =   $mshowsPrec_aLM
  86     AbsBinds [] [] [([], showList_aLa, showList_aLc)]
  87         showList_aLc
  88             =   $mshowList_aLL
  89     d.Show_aKZ =
  90         ({-dict-} [] [showsPrec_aL1, showList_aLa])
  91 {- nonrec -}
  92 d.Ord_aLo =
  93     PrelBase.$d6{-reK,p-}
  94 >=_aLC =
  95     PrelBase.>={-8Z,p-}
  96         PrelBase.Int{-3g,p-}
  97         d.Ord_aLo
  98 d.Num_aLs =
  99     PrelBase.$d3{-ref,p-}
 100 fromInt_aLB =
 101     PrelBase.fromInt{-8R,p-}
 102         PrelBase.Int{-3g,p-}
 103         d.Num_aLs
 104 lit_aLA =
 105     fromInt_aLB
 106         PrelBase.I#{-5b,p-}{i}
 107             10#
 108 fromInt_aLz =
 109     fromInt_aLB
 110 lit_aLw =
 111     fromInt_aLz
 112         PrelBase.I#{-5b,p-}{i}
 113             0#
 114 ghc: module version changed to 1; reason: no old .hi file
 115 _interface_ ExportOpaque 1
 116 _instance_modules_
 117 ArrBase IO PrelNum
 118 _usages_
 119 PrelBase 1 :: $d1 1 $d11 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 $m* 1 $m+ 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mabs 1 $mcompare 1 $mfromInt 1 $mfromInteger 1 $mmax 1 $mmin 1 $mnegate 1 $mshowList 1 $mshowsPrec 1 $msignum 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;
 120 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 121 _exports_
 122 ExportOpaque OpaqueType;
 123 _instances_
 124 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $d1;
 125 instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $d2;
 126 instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $d3;
 127 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $d4;
 128 _declarations_
 129 1 $d1 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
 130 1 $d2 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
 131 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
 132 1 $d4 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
 133 1 data FunnyInternalType r6A = Junk11 |  Junk2 ;
 134 1 data OpaqueType r6C = Con (FunnyInternalType r6C) ;