ghc/tests/typecheck/should_compile/tc054.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds
   6 [taCH, taCC]
   7 [d.Ord'_aCJ, d.Num_aCM]
   8 [([taCH, taCC], f{-r3D,x-}, f_aCo)]
   9     lt_aDm = lt{-r3G,x-} taCC d.Ord'_aCJ
  10     fromInt_aDq = PrelBase.fromInt{-8R,p-} taCC d.Num_aCM
  11     lit_aDr = fromInt_aDq PrelBase.I#{-5b,w-}{i} 1#
  12     f_aCo x_r3h y_r3i
  13           | lt_aDm x_r3h lit_aDr = PrelBase.True{-5E,w-}{i}
  14           | PrelBase.otherwise{-818,p-} = PrelBase.False{-58,w-}{i}
  15 AbsBinds [] [] [([], $d1{-rDn,x-}, d.Ord'_aCR)]
  16     d.Eq'_aCW = $d2{-rDo,x-}
  17     AbsBinds [] [] [([], lt_aDs, lt_aCV)]
  18         lt_aCV x_r3n y_r3o = PrelBase.True{-5E,w-}{i}
  19     d.Ord'_aCR = ({-dict-} [d.Eq'_aCW] [lt_aDs])
  20 AbsBinds [] [] [([], $d2{-rDo,x-}, d.Eq'_aD6)]
  21     AbsBinds [] [] [([], doubleeq_aDt, doubleeq_aDa)]
  22         doubleeq_aDa x_r3u y_r3v = PrelBase.True{-5E,w-}{i}
  23     d.Eq'_aD6 = ({-dict-} [] [doubleeq_aDt])
  24 scsel_Ord'ShouldSucceedEq'{-aDp,x-} =
  25     _/\_ t12 -> \ tpl_B1 ->
  26         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  27 lt{-r3G,x-} =
  28     _/\_ t12 -> \ tpl_B1 ->
  29         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  30 AbsBinds [taDk] [d.Ord'_aDg] []
  31 doubleeq{-r3F,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  32 AbsBinds [taDl] [d.Eq'_aDj] []
  33 ghc: module version changed to 1; reason: no old .hi file
  34 _interface_ ShouldSucceed 1
  35 _instance_modules_
  36 ArrBase IO PrelNum
  37 _usages_
  38 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;
  39 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  40 _exports_
  41 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
  42 _instances_
  43 instance {Ord' PrelBase.Int} = $d1;
  44 instance {Eq' PrelBase.Int} = $d2;
  45 _declarations_
  46 1 $d1 _:_ {Ord' PrelBase.Int} ;;
  47 1 $d2 _:_ {Eq' PrelBase.Int} ;;
  48 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
  49 1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;
  50 1 f _:_ _forall_ [ta tb] {Ord' tb, PrelBase.Num tb} => tb -> ta -> PrelBase.Bool ;;