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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 d.Monad_aGO =
   7     PrelBase.$d24{-rb1,p-}
   8 >>=_aGV =
   9     PrelBase.>>={-811,p-}
  10         PrelBase.[]{-3j,p-}
  11         d.Monad_aGO
  12 d.Monad_aGR =
  13     d.Monad_aGO
  14 return_aGW =
  15     PrelBase.return{-816,p-}
  16         PrelBase.[]{-3j,p-}
  17         d.Monad_aGR
  18 {- nonrec -}
  19 AbsBinds [] [] [([], x{-r3,x-}, x_aGp)]
  20     x_aGp
  21         =   [[PrelBase.True{-5E,p-}{i}] (PrelBase.Bool{-34,p-})] ([PrelBase.Bool{-34,p-}])
  22 {- nonrec -}
  23 {- nonrec -}
  24 AbsBinds [] [] [([], xs{-r2,x-}, xs_aGx)]
  25     xs_aGx
  26         =   [ x_r3j |
  27                 x_r3h <- x{-r3,x-}, x_r3j <- x_r3h ]
  28 {- nonrec -}
  29 ghc: module version changed to 1; reason: no old .hi file
  30 _interface_ ShouldSucceed 1
  31 _instance_modules_
  32 ArrBase IO PrelNum
  33 _usages_
  34 PrelBase 1 :: $d23 1 $d24 1 Monad 1 MonadZero 1;
  35 _exports_
  36 ShouldSucceed x xs;
  37 _declarations_
  38 1 x _:_ [[PrelBase.Bool]] ;;
  39 1 xs _:_ [PrelBase.Bool] ;;