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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 d.Num_aXA =
   7     PrelBase.$d3{-rb3,p-}
   8 fromInt_aXN =
   9     PrelBase.fromInt{-8R,p-}
  10         PrelBase.Int{-3g,p-}
  11         d.Num_aXA
  12 lit_aXT =
  13     fromInt_aXN PrelBase.I#{-5b,p-}{i} 1#
  14 fromInt_aXS =
  15     fromInt_aXN
  16 lit_aXR =
  17     fromInt_aXS PrelBase.I#{-5b,p-}{i} 2#
  18 d.Num_aXE =
  19     d.Num_aXA
  20 +_aXQ =
  21     PrelBase.+{-rau,p-}
  22         PrelBase.Int{-3g,p-}
  23         d.Num_aXE
  24 d.Monad_aXG =
  25     PrelBase.$d24{-raX,p-}
  26 >>=_aXP =
  27     PrelBase.>>={-811,p-}
  28         PrelBase.[]{-3j,p-}
  29         d.Monad_aXG
  30 d.Monad_aXJ =
  31     d.Monad_aXG
  32 return_aXO =
  33     PrelBase.return{-816,p-}
  34         PrelBase.[]{-3j,p-}
  35         d.Monad_aXJ
  36 {- nonrec -}
  37 AbsBinds [] [] [([], p{-r3e,x-}, p_aWR)]
  38     lit_aXU =
  39         lit_aXR
  40     p_aWR
  41         =   [ (y_r3d +_aXQ lit_aXU, PrelBase.True{-5E,p-}{i}) |
  42                 y_r3d <- [lit_aXT, lit_aXR] (PrelBase.Int{-3g,p-}) ]
  43 {- nonrec -}
  44 ghc: module version changed to 1; reason: no old .hi file
  45 _interface_ ShouldSucceed 1
  46 _instance_modules_
  47 ArrBase IO PrelNum
  48 _usages_
  49 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d23 1 $d24 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 Monad 1 MonadZero 1 Num 1 Show 1 String 1;
  50 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  51 PrelTup 1 :: $d13 1 $d4 1 $d9 1;
  52 _exports_
  53 ShouldSucceed p;
  54 _declarations_
  55 1 p _:_ [(PrelBase.Int, PrelBase.Bool)] ;;