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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 d.Num_aWN =
   7     PrelBase.$d3{-rb4,p-}
   8 fromInt_aWO =
   9     PrelBase.fromInt{-8R,p-}
  10         PrelBase.Int{-3g,p-}
  11         d.Num_aWN
  12 lit_aWW =
  13     fromInt_aWO PrelBase.I#{-5b,p-}{i} 1#
  14 fromInt_aWV =
  15     fromInt_aWO
  16 lit_aWU =
  17     fromInt_aWV PrelBase.I#{-5b,p-}{i} 2#
  18 fromInt_aWT =
  19     fromInt_aWO
  20 lit_aWP =
  21     fromInt_aWT PrelBase.I#{-5b,p-}{i} 3#
  22 {- nonrec -}
  23 AbsBinds
  24 []
  25 []
  26 [([], c{-r5,x-}, c_aW8), ([], d{-r4,x-}, d_aW9), ([],
  27                                                   e{-r3,x-},
  28                                                   e_aWa)]
  29     lit_aWX =
  30         lit_aWW
  31     (c_aW8@(d_aW9, e_aWa))
  32         =   if PrelBase.True{-5E,p-}{i} then
  33                 (lit_aWW, lit_aWU)
  34             else
  35                 (lit_aWX, lit_aWP)
  36 {- nonrec -}
  37 ghc: module version changed to 1; reason: no old .hi file
  38 _interface_ ShouldSucceed 1
  39 _instance_modules_
  40 ArrBase IO PrelNum
  41 _usages_
  42 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;
  43 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  44 PrelTup 1 :: $d13 1 $d4 1 $d9 1;
  45 _exports_
  46 ShouldSucceed c d e;
  47 _declarations_
  48 1 c _:_ (PrelBase.Int, PrelBase.Int) ;;
  49 1 d _:_ PrelBase.Int ;;
  50 1 e _:_ PrelBase.Int ;;