ghc/tests/typecheck/should_compile/tc088.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds
   6 [taD0, taD1]
   7 [d.Num_aEx, d.Eq_aEy, d.Show_aEz, d.Eval_aEA]
   8 [([taD0, taD1], $d1{-rFx,x-}, d.Num_aCT)]
   9     d.Eq_aEw = d.Eq_aEy
  10     d.Show_aEB = d.Show_aEz
  11     d.Eval_aEC = d.Eval_aEA
  12     d.Num_aEG = d.Num_aEx
  13     +_aFz = PrelBase.+{-rgc,p-} taD1 d.Num_aEG
  14     d.Num_aEI = d.Num_aEx
  15     -_aFA = PrelBase.-{-817,p-} taD1 d.Num_aEI
  16     d.Num_aEK = d.Num_aEx
  17     *_aFB = PrelBase.*{-rgd,p-} taD1 d.Num_aEK
  18     d.Num_aEM = d.Num_aEx
  19     negate_aFC = PrelBase.negate{-rge,p-} taD1 d.Num_aEM
  20     d.Num_aEO = d.Num_aEx
  21     abs_aFD = PrelBase.abs{-rgf,p-} taD1 d.Num_aEO
  22     d.Num_aEQ = d.Num_aEx
  23     signum_aFE = PrelBase.signum{-rgg,p-} taD1 d.Num_aEQ
  24     d.Num_aES = d.Num_aEx
  25     fromInteger_aFF = PrelBase.fromInteger{-8S,p-} taD1 d.Num_aES
  26     d.Num_aEU = d.Num_aEx
  27     fromInt_aFG = PrelBase.fromInt{-8R,p-} taD1 d.Num_aEU
  28     AbsBinds [] [] [([], +_aFH, +_aCX)]
  29         +_aCX f_r3h g_r3i = \ a_r3k -> (f_r3h a_r3k) +_aFz (g_r3i a_r3k)
  30     AbsBinds [] [] [([], -_aFI, -_aDd)]
  31         -_aDd f_r3o g_r3p = \ a_r3r -> (f_r3o a_r3r) -_aFA (g_r3p a_r3r)
  32     AbsBinds [] [] [([], *_aFJ, *_aDr)]
  33         *_aDr f_r3v g_r3w = \ a_r3y -> (f_r3v a_r3y) *_aFB (g_r3w a_r3y)
  34     AbsBinds [] [] [([], negate_aFK, negate_aDF)]
  35         negate_aDF f_r3C = \ a_r3E -> negate_aFC f_r3C a_r3E
  36     AbsBinds [] [] [([], abs_aFL, abs_aDR)]
  37         abs_aDR f_r3I = \ a_r3K -> abs_aFD f_r3I a_r3K
  38     AbsBinds [] [] [([], signum_aFM, signum_aE3)]
  39         signum_aE3 f_r3O = \ a_r3Q -> signum_aFE f_r3O a_r3Q
  40     AbsBinds [] [] [([], fromInteger_aFN, fromInteger_aEf)]
  41         fromInteger_aEf n_r3U = \ a_r3W -> fromInteger_aFF n_r3U
  42     AbsBinds [] [] [([], fromInt_aFO, fromInt_aEq)]
  43         fromInt_aEq n_r40 = \ a_r42 -> fromInt_aFG n_r40
  44     d.Num_aCT =
  45         ({-dict-}
  46          [d.Eq_aEw, d.Show_aEB, d.Eval_aEC]
  47          [+_aFH, -_aFI, *_aFJ, negate_aFK, abs_aFL, signum_aFM, fromInteger_aFN, fromInt_aFO])
  48 AbsBinds
  49 [taFe, taFf]
  50 [d.Eq_aFr]
  51 [([taFe, taFf], $d2{-rFy,x-}, d.Eq_aF7)]
  52     d.Eq_aFv = d.Eq_aF7
  53     $m/=_aFP = PrelBase.$m/={-rfO,p-} (taFe -> taFf) d.Eq_aFv
  54     AbsBinds [] [] [([], ==_aFQ, ==_aFb)]
  55         ==_aFb f_r4a g_r4b
  56                = IOBase.error{-87,w-}
  57                      PrelBase.Bool{-34,W-} "attempt to compare functions"
  58     AbsBinds [] [] [([], /=_aFR, /=_aFo)]
  59         /=_aFo = $m/=_aFP
  60     d.Eq_aF7 = ({-dict-} [] [==_aFQ, /=_aFR])
  61 ghc: module version changed to 1; reason: no old .hi file
  62 _interface_ ShouldSucceed 1
  63 _instance_modules_
  64 ArrBase IO PrelNum ShouldSucceed
  65 _usages_
  66 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;
  67 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  68 _exports_
  69 _instances_
  70 instance _forall_ [a b] {PrelBase.Num b} => {PrelBase.Num (a -> b)} = $d1;
  71 instance _forall_ [a b] {PrelBase.Eq b} => {PrelBase.Eq (a -> b)} = $d2;
  72 _declarations_
  73 1 $d1 _:_ _forall_ [a b] {PrelBase.Num b, PrelBase.Eq (a -> b), PrelBase.Show (a -> b), PrelBase.Eval (a -> b)} => {PrelBase.Num (a -> b)} ;;
  74 1 $d2 _:_ _forall_ [a b] {PrelBase.Eq b} => {PrelBase.Eq (a -> b)} ;;