ghc/tests/typecheck/should_compile/tc054.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [taCS, taCN]
   4 [d.Ord'_aCU, d.Num_aCX]
   5 [([taCS, taCN], f{-r3D,x-}, f_aCw)]
   6     lt_aDz = lt{-r3E,x-} taCN d.Ord'_aCU
   7     fromInt_aDy = PrelBase.fromInt{-8R,p-} taCN d.Num_aCX
   8     lit_aDx = fromInt_aDy PrelBase.I#{-5b,w-}{i} 1#
   9     f_aCw x_r3h y_r3i
  10           | lt_aDz x_r3h lit_aDx = PrelBase.True{-5E,w-}{i}
  11           | PrelBase.otherwise{-818,p-} = PrelBase.False{-58,w-}{i}
  12 AbsBinds [] [] [([], $d1{-rDC,x-}, d.Ord'_aD2)]
  13     d.Eq'_aD7 = $d2{-rDB,x-}
  14     AbsBinds [] [] [([], lt_aDD, lt_aD6)]
  15         lt_aD6 x_r3n y_r3o = PrelBase.True{-5E,w-}{i}
  16     d.Ord'_aD2 = ({-dict-} [d.Eq'_aD7] [lt_aDD])
  17 AbsBinds [] [] [([], $d2{-rDB,x-}, d.Eq'_aDh)]
  18     AbsBinds [] [] [([], doubleeq_aDE, doubleeq_aDl)]
  19         doubleeq_aDl x_r3u y_r3v = PrelBase.True{-5E,w-}{i}
  20     d.Eq'_aDh = ({-dict-} [] [doubleeq_aDE])
  21 scsel_Ord'ShouldSucceedEq'{-aDA,x-} =
  22     _/\_ t12 -> \ tpl_B1 ->
  23         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  24 lt{-r3E,x-} =
  25     _/\_ t12 -> \ tpl_B1 ->
  26         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  27 AbsBinds [taDv] [d.Ord'_aDr] []
  28 doubleeq{-r3G,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  29 AbsBinds [taDw] [d.Eq'_aDu] []
  30
  31 ghc: module version changed to 1; reason: no old .hi file
  32 _interface_ ShouldSucceed 1
  33 _instance_modules_
  34 ArrBase IO PrelNum
  35 _usages_
  36 PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 otherwise 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  37 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  38 _exports_
  39 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
  40 _instances_
  41 instance {Ord' PrelBase.Int} = $d1;
  42 instance {Eq' PrelBase.Int} = $d2;
  43 _declarations_
  44 1 $d1 _:_ {Ord' PrelBase.Int} ;;
  45 1 $d2 _:_ {Eq' PrelBase.Int} ;;
  46 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
  47 1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;
  48 1 f _:_ _forall_ [ta tb] {Ord' tb, PrelBase.Num tb} => tb -> ta -> PrelBase.Bool ;;