ghc/compiler/tests/typecheck/should_succeed/tc078.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 MkBar{-r3l,x-}{i} =
   8     _/\_ a{-r3k-} -> \ tpl_B1 tpl_B2 ->
   9         MkBar{-r3l,x-}{i}
  10             {_@_ a{-r3k-} tpl_B1 tpl_B2}
  11 {- rec -}
  12 AbsBinds [a{-aId-}] [] [([a{-aId-}], $d3{-rIh,x-}, d.Eval_aGn)]
  13     d.Eval_aGn =
  14         ({-dict-} [] [])
  15 {- rec -}
  16 AbsBinds
  17 [a{-aGA-}]
  18 [d.Ord_aHn, d.Eq_aHo]
  19 [([a{-aGA-}], $d1{-rIi,x-}, d.Ord_aGt)]
  20     d.Eq_aHp =
  21         d.Eq_aHo
  22     d.Ord_aHt =
  23         d.Ord_aGt
  24     $mcompare_aIp =
  25         PrelBase.$mcompare{-rbW,p-}
  26             (Bar{-r3m,x-} a{-aGA-})
  27             d.Ord_aHt
  28     d.Ord_aHv =
  29         d.Ord_aGt
  30     $m<_aIo =
  31         PrelBase.$m<{-rbO,p-}
  32             (Bar{-r3m,x-} a{-aGA-})
  33             d.Ord_aHv
  34     d.Ord_aHx =
  35         d.Ord_aGt
  36     $m<=_aIn =
  37         PrelBase.$m<={-rbP,p-}
  38             (Bar{-r3m,x-} a{-aGA-})
  39             d.Ord_aHx
  40     d.Ord_aHz =
  41         d.Ord_aGt
  42     $m>=_aIm =
  43         PrelBase.$m>={-rbS,p-}
  44             (Bar{-r3m,x-} a{-aGA-})
  45             d.Ord_aHz
  46     d.Ord_aHB =
  47         d.Ord_aGt
  48     $m>_aIl =
  49         PrelBase.$m>{-rbR,p-}
  50             (Bar{-r3m,x-} a{-aGA-})
  51             d.Ord_aHB
  52     d.Ord_aHD =
  53         d.Ord_aGt
  54     $mmax_aIk =
  55         PrelBase.$mmax{-rc5,p-}
  56             (Bar{-r3m,x-} a{-aGA-})
  57             d.Ord_aHD
  58     d.Ord_aHF =
  59         d.Ord_aGt
  60     $mmin_aIj =
  61         PrelBase.$mmin{-rc7,p-}
  62             (Bar{-r3m,x-} a{-aGA-})
  63             d.Ord_aHF
  64     AbsBinds [] [] [([], compare_aGv, compare_aGx)]
  65         compare_aGx
  66             =   $mcompare_aIp
  67     AbsBinds [] [] [([], <_aGE, <_aGG)]
  68         <_aGG
  69             =   $m<_aIo
  70     AbsBinds [] [] [([], <=_aGM, <=_aGO)]
  71         <=_aGO
  72             =   $m<=_aIn
  73     AbsBinds [] [] [([], >=_aGU, >=_aGW)]
  74         >=_aGW
  75             =   $m>=_aIm
  76     AbsBinds [] [] [([], >_aH2, >_aH4)]
  77         >_aH4
  78             =   $m>_aIl
  79     AbsBinds [] [] [([], max_aHa, max_aHc)]
  80         max_aHc
  81             =   $mmax_aIk
  82     AbsBinds [] [] [([], min_aHi, min_aHk)]
  83         min_aHk
  84             =   $mmin_aIj
  85     d.Ord_aGt =
  86         ({-dict-}
  87          [d.Eq_aHp]
  88          [compare_aGv, <_aGE, <=_aGM, >=_aGU, >_aH2, max_aHa, min_aHi])
  89 {- rec -}
  90 AbsBinds
  91 [a{-aHW-}]
  92 [d.Eq_aI5]
  93 [([a{-aHW-}], $d2{-rIq,x-}, d.Eq_aHP)]
  94     d.Eq_aI9 =
  95         d.Eq_aHP
  96     $m==_aIs =
  97         PrelBase.$m=={-rbQ,p-}
  98             (Bar{-r3m,x-} a{-aHW-})
  99             d.Eq_aI9
 100     d.Eq_aIb =
 101         d.Eq_aHP
 102     $m/=_aIr =
 103         PrelBase.$m/={-rbN,p-}
 104             (Bar{-r3m,x-} a{-aHW-})
 105             d.Eq_aIb
 106     AbsBinds [] [] [([], ==_aHR, ==_aHT)]
 107         ==_aHT
 108             =   $m==_aIs
 109     AbsBinds [] [] [([], /=_aI0, /=_aI2)]
 110         /=_aI2
 111             =   $m/=_aIr
 112     d.Eq_aHP =
 113         ({-dict-} [] [==_aHR, /=_aI0])
 114 {- nonrec -}
 115 ghc: module version changed to 1; reason: no old .hi file
 116 _interface_ M 1
 117 _instance_modules_
 118 ArrBase IO PrelNum
 119 _usages_
 120 PrelBase 1 :: $d14 1 $d15 1 $d32 1 $d34 1 $d37 1 $d39 1 $d41 1 $d45 1 $d46 1 $d49 1 $d51 1 $d6 1 $d7 1 Eq 1 Eval 1 Ord 1 Ordering 1;
 121 PrelNum 1 :: $d17 1 $d18 1;
 122 _exports_
 123 M Bar(MkBar);
 124 _instances_
 125 instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Ord (Bar a)} = $d1;
 126 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Bar a)} = $d2;
 127 instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d3;
 128 _declarations_
 129 1 $d1 _:_ _forall_ [a] {PrelBase.Ord a, PrelBase.Eq (Bar a)} => {PrelBase.Ord (Bar a)} ;;
 130 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Bar a)} ;;
 131 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
 132 1 data Bar r3k = MkBar PrelBase.Int r3k ;