ghc/tests/typecheck/should_compile/tc050.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [taCN, taCJ]
   4 [d.Foo_aCP, d.Num_aCS]
   5 [([taCN, taCJ], g{-r3F,x-}, g_aCt)]
   6     o_and_aE5 = o_and{-r3H,x-} taCJ d.Foo_aCP
   7     fromInt_aE4 = PrelBase.fromInt{-8R,p-} taCJ d.Num_aCS
   8     lit_aE3 = fromInt_aE4 PrelBase.I#{-5b,w-}{i} 1#
   9     g_aCt x_r3j y_r3k = o_and_aE5 x_r3j lit_aE3
  10 AbsBinds [taDd] [] [([taDd], f{-r3G,x-}, f_aCU)]
  11     f_aCU x_r3g y_r3h = o_and_aE9 x_r3g PrelBase.False{-58,w-}{i}
  12 AbsBinds [] [] [([], $d1{-rEb,x-}, d.Foo_aDk)]
  13     AbsBinds [] [] [([], o_and_aEc, o_and_aDo)]
  14         lit_aEh = lit_aE8
  15         ==_aEg = ==_aE7
  16         ==_aEf = ==_aE7
  17         lit_aEe = lit_aE6
  18         ==_aEd = ==_aE7
  19         o_and_aDo x_r3p 0 = PrelBase.I#{-5b,w-}{i} 0#
  20         o_and_aDo 0 x_r3r = PrelBase.I#{-5b,w-}{i} 0#
  21         o_and_aDo 1 1 = PrelBase.I#{-5b,w-}{i} 1#
  22     d.Foo_aDk = ({-dict-} [] [o_and_aEc])
  23 AbsBinds [] [] [([], $d2{-rEa,x-}, d.Foo_aDM)]
  24     AbsBinds [] [] [([], o_and_aEi, o_and_aDQ)]
  25         o_and_aDQ PrelBase.False{-58,w-}{i} x_r3y
  26                   = PrelBase.False{-58,w-}{i}
  27         o_and_aDQ x_r3A PrelBase.False{-58,w-}{i}
  28                   = PrelBase.False{-58,w-}{i}
  29         o_and_aDQ PrelBase.True{-5E,w-}{i} PrelBase.True{-5E,w-}{i}
  30                   = PrelBase.True{-5E,w-}{i}
  31     d.Foo_aDM = ({-dict-} [] [o_and_aEi])
  32 o_and{-r3H,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  33 AbsBinds [taE2] [d.Foo_aDW] []
  34 d.Foo_aDY = $d2{-rEa,x-}
  35 o_and_aE9 = o_and{-r3H,x-} PrelBase.Bool{-34,W-} d.Foo_aDY
  36 lit_aE8 = PrelBase.I#{-5b,w-}{i} 0#
  37 d.Eq_aE1 = PrelBase.$d8{-rbh,p-}
  38 ==_aE7 = PrelBase.=={-8Y,p-} PrelBase.Int{-3g,W-} d.Eq_aE1
  39 lit_aE6 = PrelBase.I#{-5b,w-}{i} 1#
  40
  41 ghc: module version changed to 1; reason: no old .hi file
  42 _interface_ ShouldSucceed 1
  43 _instance_modules_
  44 ArrBase IO PrelNum
  45 _usages_
  46 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 Eq 1 Eval 1 Num 1 Show 1 String 1;
  47 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  48 _exports_
  49 ShouldSucceed f g Foo(o_and);
  50 _instances_
  51 instance {Foo PrelBase.Int} = $d1;
  52 instance {Foo PrelBase.Bool} = $d2;
  53 _declarations_
  54 1 $d1 _:_ {Foo PrelBase.Int} ;;
  55 1 $d2 _:_ {Foo PrelBase.Bool} ;;
  56 1 class Foo a where {o_and :: a -> a -> a} ;
  57 1 f _:_ _forall_ [ta] => PrelBase.Bool -> ta -> PrelBase.Bool ;;
  58 1 g _:_ _forall_ [ta tb] {Foo tb, PrelBase.Num tb} => tb -> ta -> tb ;;