ghc/tests/typecheck/should_compile/tc038.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [taC6] [d.Num_aCa] [([taC6], f{-r3f,x-}, f_aBN)]
   6     d.Eq_aC8 = PrelBase.scsel_NumPrelBaseEq{-aCd,p-} taC6 d.Num_aCa
   7     ==_aCb = PrelBase.=={-8Y,p-} taC6 d.Eq_aC8
   8     fromInteger_aCc = PrelBase.fromInteger{-8S,p-} taC6 d.Num_aCa
   9     f_aBN (x_r3d PrelBase.:{-55,w-}{i} xs_r3e)
  10           = if x_r3d ==_aCb (fromInteger_aCc 2) then
  11                 xs_r3e
  12             else
  13                 PrelBase.[]{-5i,w-}{i} taC6
  14 ghc: module version changed to 1; reason: no old .hi file
  15 _interface_ ShouldSucceed 1
  16 _instance_modules_
  17 ArrBase IO PrelNum
  18 _usages_
  19 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;
  20 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  21 _exports_
  22 ShouldSucceed f;
  23 _declarations_
  24 1 f _:_ _forall_ [ta] {PrelBase.Num ta} => [ta] -> [ta] ;;