ghc/tests/typecheck/should_compile/tc088.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [taD8, taD9]
   4 [d.Num_aEE, d.Eq_aEF, d.Show_aEG, d.Eval_aEH]
   5 [([taD8, taD9], $d1{-rFF,x-}, d.Num_aD1)]
   6     d.Eq_aEI = d.Eq_aEF
   7     d.Show_aEJ = d.Show_aEG
   8     d.Eval_aEK = d.Eval_aEH
   9     d.Num_aEO = d.Num_aEE
  10     +_aFV = PrelBase.+{-rgc,p-} taD9 d.Num_aEO
  11     d.Num_aEQ = d.Num_aEE
  12     -_aFU = PrelBase.-{-817,p-} taD9 d.Num_aEQ
  13     d.Num_aES = d.Num_aEE
  14     *_aFT = PrelBase.*{-rgd,p-} taD9 d.Num_aES
  15     d.Num_aEU = d.Num_aEE
  16     negate_aFS = PrelBase.negate{-rge,p-} taD9 d.Num_aEU
  17     d.Num_aEW = d.Num_aEE
  18     abs_aFR = PrelBase.abs{-rgf,p-} taD9 d.Num_aEW
  19     d.Num_aEY = d.Num_aEE
  20     signum_aFQ = PrelBase.signum{-rgg,p-} taD9 d.Num_aEY
  21     d.Num_aF0 = d.Num_aEE
  22     fromInteger_aFP = PrelBase.fromInteger{-8S,p-} taD9 d.Num_aF0
  23     d.Num_aF2 = d.Num_aEE
  24     fromInt_aFO = PrelBase.fromInt{-8R,p-} taD9 d.Num_aF2
  25     AbsBinds [] [] [([], +_aFN, +_aD5)]
  26         +_aD5 f_r3h g_r3i = \ a_r3k -> (f_r3h a_r3k) +_aFV (g_r3i a_r3k)
  27     AbsBinds [] [] [([], -_aFM, -_aDl)]
  28         -_aDl f_r3o g_r3p = \ a_r3r -> (f_r3o a_r3r) -_aFU (g_r3p a_r3r)
  29     AbsBinds [] [] [([], *_aFL, *_aDz)]
  30         *_aDz f_r3v g_r3w = \ a_r3y -> (f_r3v a_r3y) *_aFT (g_r3w a_r3y)
  31     AbsBinds [] [] [([], negate_aFK, negate_aDN)]
  32         negate_aDN f_r3C = \ a_r3E -> negate_aFS f_r3C a_r3E
  33     AbsBinds [] [] [([], abs_aFJ, abs_aDZ)]
  34         abs_aDZ f_r3I = \ a_r3K -> abs_aFR f_r3I a_r3K
  35     AbsBinds [] [] [([], signum_aFI, signum_aEb)]
  36         signum_aEb f_r3O = \ a_r3Q -> signum_aFQ f_r3O a_r3Q
  37     AbsBinds [] [] [([], fromInteger_aFH, fromInteger_aEn)]
  38         fromInteger_aEn n_r3U = \ a_r3W -> fromInteger_aFP n_r3U
  39     AbsBinds [] [] [([], fromInt_aFG, fromInt_aEy)]
  40         fromInt_aEy n_r40 = \ a_r42 -> fromInt_aFO n_r40
  41     d.Num_aD1 =
  42         ({-dict-}
  43          [d.Eq_aEI, d.Show_aEJ, d.Eval_aEK]
  44          [+_aFN, -_aFM, *_aFL, negate_aFK, abs_aFJ, signum_aFI, fromInteger_aFH, fromInt_aFG])
  45 AbsBinds
  46 [taFm, taFn]
  47 [d.Eq_aFz]
  48 [([taFm, taFn], $d2{-rFW,x-}, d.Eq_aFf)]
  49     d.Eq_aFD = d.Eq_aFf
  50     $m/=_aFZ = PrelBase.$m/={-rfO,p-} (taFm -> taFn) d.Eq_aFD
  51     AbsBinds [] [] [([], ==_aFY, ==_aFj)]
  52         ==_aFj f_r4a g_r4b
  53                = IOBase.error{-87,w-}
  54                      PrelBase.Bool{-34,W-} "attempt to compare functions"
  55     AbsBinds [] [] [([], /=_aFX, /=_aFw)]
  56         /=_aFw = $m/=_aFZ
  57     d.Eq_aFf = ({-dict-} [] [==_aFY, /=_aFX])
  58
  59 ghc: module version changed to 1; reason: no old .hi file
  60 _interface_ ShouldSucceed 1
  61 _instance_modules_
  62 ArrBase IO PrelNum ShouldSucceed
  63 _usages_
  64 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;
  65 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  66 _exports_
  67 _instances_
  68 instance _forall_ [a b] {PrelBase.Num b} => {PrelBase.Num (a -> b)} = $d1;
  69 instance _forall_ [a b] {PrelBase.Eq b} => {PrelBase.Eq (a -> b)} = $d2;
  70 _declarations_
  71 1 $d1 _:_ _forall_ [a b] {PrelBase.Num b, PrelBase.Eq (a -> b), PrelBase.Show (a -> b), PrelBase.Eval (a -> b)} => {PrelBase.Num (a -> b)} ;;
  72 1 $d2 _:_ _forall_ [a b] {PrelBase.Eq b} => {PrelBase.Eq (a -> b)} ;;