ghc/tests/typecheck/should_compile/tc053.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds
   6 [taCq]
   7 [d.Eq'_aCv, d.Num_aCy]
   8 [([taCq], f{-r3A,x-}, f_aCf)]
   9     d.Eq'_aCt = $d1{-rDn,x-} taCq d.Eq'_aCv
  10     deq_aDp = deq{-r3B,x-} [taCq] d.Eq'_aCt
  11     fromInt_aDq = PrelBase.fromInt{-8R,p-} taCq d.Num_aCy
  12     lit_aDr = fromInt_aDq PrelBase.I#{-5b,w-}{i} 1#
  13     f_aCf x_r3f = deq_aDp x_r3f [lit_aDr] (taCq)
  14 AbsBinds [taCP] [d.Eq'_aD1] [([taCP], $d1{-rDn,x-}, d.Eq'_aCE)]
  15     d.Eq'_aD5 = d.Eq'_aD1
  16     deq_aDs = deq{-r3B,x-} taCP d.Eq'_aD5
  17     deq_aDt = deq_aDu
  18     AbsBinds [] [] [([], deq_aDu, deq_aCI)]
  19         deq_aCI (a_r3m PrelBase.:{-55,w-}{i} as_r3n)
  20                 (b_r3o PrelBase.:{-55,w-}{i} bs_r3p)
  21                 = if deq_aDs a_r3m b_r3o then
  22                       deq_aDt as_r3n bs_r3p
  23                   else
  24                       PrelBase.False{-58,w-}{i}
  25     d.Eq'_aCE = ({-dict-} [] [deq_aDu])
  26 AbsBinds [] [] [([], $d2{-rDo,x-}, d.Eq'_aDb)]
  27     AbsBinds [] [] [([], deq_aDv, deq_aDf)]
  28         deq_aDf x_r3v y_r3w = PrelBase.True{-5E,w-}{i}
  29     d.Eq'_aDb = ({-dict-} [] [deq_aDv])
  30 deq{-r3B,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  31 AbsBinds [taDm] [d.Eq'_aDl] []
  32 ghc: module version changed to 1; reason: no old .hi file
  33 _interface_ ShouldSucceed 1
  34 _instance_modules_
  35 ArrBase IO PrelNum
  36 _usages_
  37 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;
  38 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  39 _exports_
  40 ShouldSucceed f Eq'(deq);
  41 _instances_
  42 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
  43 instance {Eq' PrelBase.Int} = $d2;
  44 _declarations_
  45 1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  46 1 $d2 _:_ {Eq' PrelBase.Int} ;;
  47 1 class Eq' a where {deq :: a -> a -> PrelBase.Bool} ;
  48 1 f _:_ _forall_ [ta] {Eq' ta, PrelBase.Num ta} => [ta] -> PrelBase.Bool ;;