ghc/tests/printing/should_compile/Print004.stderr

   1
   2 ==================== Typechecked ====================
   3 ExportOpaque.Junk11{-r3,l-} =
   4     \ a{-ru2-} -> ExportOpaque.Junk11{-r3,l-} {__a a{-ru2-}}
   5 ExportOpaque.Junk2{-r5,l-} =
   6     \ a{-ru2-} -> ExportOpaque.Junk2{-r5,l-} {__a a{-ru2-}}
   7 ExportOpaque.Con{-r9,l-} =
   8     \ a{-ru6-} tpl_B1 -> ExportOpaque.Con{-r9,l-} {__a a{-ru6-} tpl_B1}
   9 AbsBinds
  10 [a{-aY7-}]
  11 [_dOrd{-aYo-}]
  12 [([a{-aY7-}],
  13   ExportOpaque._fShowOpaqueType{-rXt,x-},
  14   _dShow{-aXB-})]
  15     _mshow{-aZt-} =
  16         PrelBase._mshow{-rJ7,i-} (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-})
  17             _dShow{-aYs-}
  18     showsPrec{-aZs-} = showsPrec{-aY0-}
  19     showsPrec{-aZu-} =
  20         PrelBase.showsPrec{-rt1,i-}
  21             (ExportOpaque.FunnyInternalType{-r1,l-} a{-aY7-})
  22             _dShow{-aYv-}
  23     _dShow{-aYs-} = _dShow{-aXB-}
  24     _dShow{-aYv-} =
  25         ExportOpaque._fShowFunnyInternalType{-rXl,x-} a{-aY7-} _dOrd{-aYx-}
  26     _dOrd{-aYx-} = _dOrd{-aYo-}
  27     AbsBinds [] [] [([], showList{-aXD-}, showList{-aXF-})]
  28         showList{-aXF-} = PrelBase.showList__{-ru7,i-}
  29                               (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showsPrec{-aZs-} PrelBase.I#{-67,w-} 0#
  30     AbsBinds [] [] [([], show{-aXP-}, show{-aXR-})]
  31         show{-aXR-} = _mshow{-aZt-}
  32     AbsBinds [] [] [([], showsPrec{-aY0-}, showsPrec{-aY2-})]
  33         showsPrec{-aY2-} a{-aY8-} (ExportOpaque.Con{-r9,l-} b1{-aYl-})
  34                            = PrelBase.showParen{-rtv,i-} a{-aY8-} >={-aZv-} lit_aZw
  35                                                          PrelBase..{-rtD,i-}
  36                                                              [PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}] PrelBase.showString{-rtu,i-} "Con "
  37                                                                                                                                             showsPrec{-aZu-} PrelBase.I#{-67,w-} 10#
  38                                                                                                                                                              b1{-aYl-}
  39     _dShow{-aXB-} =
  40         PrelBase._DShow{-rIw,i-}
  41             (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showList{-aXD-}
  42                                                        show{-aXP-}
  43                                                        showsPrec{-aY0-}
  44 AbsBinds
  45 [a{-aYP-}]
  46 [_dOrd{-aZe-}]
  47 [([a{-aYP-}],
  48   ExportOpaque._fShowFunnyInternalType{-rXl,x-},
  49   _dShow{-aYG-})]
  50     _mshow{-aZx-} =
  51         PrelBase._mshow{-rJ7,i-}
  52             (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
  53             _dShow{-aZk-}
  54     _mshowList{-aZy-} =
  55         PrelBase._mshowList{-rJ6,i-}
  56             (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
  57             _dShow{-aZi-}
  58     _mshowsPrec{-aZz-} =
  59         PrelBase._mshowsPrec{-rJ5,i-}
  60             (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
  61             _dShow{-aZm-}
  62     _dShow{-aZi-} = _dShow{-aYG-}
  63     _dShow{-aZk-} = _dShow{-aYG-}
  64     _dShow{-aZm-} = _dShow{-aYG-}
  65     AbsBinds [] [] [([], showList{-aYI-}, showList{-aYK-})]
  66         showList{-aYK-} = _mshowList{-aZy-}
  67     AbsBinds [] [] [([], show{-aYU-}, show{-aYW-})]
  68         show{-aYW-} = _mshow{-aZx-}
  69     AbsBinds [] [] [([], showsPrec{-aZ5-}, showsPrec{-aZ7-})]
  70         showsPrec{-aZ7-} = _mshowsPrec{-aZz-}
  71     _dShow{-aYG-} =
  72         PrelBase._DShow{-rIw,i-}
  73             (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-}) showList{-aYI-}
  74                                                               show{-aYU-}
  75                                                               showsPrec{-aZ5-}
  76 lit_aZw = PrelBase.I#{-67,w-} 10#
  77 >={-aZv-} = PrelBase.>={-01M,i-} PrelBase.Int{-3f,W-} _dOrd{-aZr-}
  78 _dOrd{-aZr-} = PrelBase._fOrdInt{-rJw,i-}
  79
  80
  81 ghc: module version changed to 1; reason: no old .hi file
  82 __export ExportOpaque OpaqueType;
  83 instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = _fShowFunnyInternalType;
  84 instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = _fShowOpaqueType;
  85 1 _fShowFunnyInternalType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;
  86 1 _fShowOpaqueType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;
  87 1 data FunnyInternalType a = Junk11 |  Junk2 ;
  88 1 data OpaqueType a = Con (FunnyInternalType a) ;