ghc/compiler/tests/typecheck/should_succeed/tc005.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-aWw-}, t{-aWz-}]
   9 [d.Num_aWD]
  10 [([t{-aWw-}, t{-aWz-}], g{-r3j,x-}, g_aWb)]
  11     fromInt_aWF =
  12         PrelBase.fromInt{-8R,p-}
  13             t{-aWz-}
  14             d.Num_aWD
  15     lit_aWE =
  16         fromInt_aWF PrelBase.I#{-5b,p-}{i} 2#
  17     g_aWb
  18         ((x_r3d PrelBase.:{-55,p-}{i} z_r3e), y_r3f)
  19                 =   x_r3d
  20     g_aWb
  21         (x_r3h, y_r3i)
  22                 =   lit_aWE
  23 {- nonrec -}
  24 ghc: module version changed to 1; reason: no old .hi file
  25 _interface_ ShouldSucceed 1
  26 _instance_modules_
  27 ArrBase IO PrelNum
  28 _usages_
  29 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  30 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  31 PrelTup 1 :: $d13 1 $d4 1 $d9 1;
  32 _exports_
  33 ShouldSucceed g;
  34 _declarations_
  35 1 g _:_ _forall_ [a b] {PrelBase.Num b} => ([b], a) -> b ;;