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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-ano-}, t{-anq-}]
   9 []
  10 [([t{-ano-}, t{-anq-}], k{-r3q,x-}, k_ang)]
  11     k_ang
  12         x_r3n y_r3p
  13                 =   x_r3n
  14 {- nonrec -}
  15 {- nonrec -}
  16 AbsBinds
  17 [t{-anO-}, t{-anQ-}, t{-anS-}]
  18 []
  19 [([t{-anO-}, t{-anQ-}, t{-anS-}], s{-r3r,x-}, s_ans)]
  20     s_ans
  21         f_r3h g_r3j x_r3l
  22                 =   f_r3h x_r3l g_r3j x_r3l
  23 {- nonrec -}
  24 {- nonrec -}
  25 AbsBinds [t{-ao8-}] [] [([t{-ao8-}], main{-r3s,x-}, main_anU)]
  26     main_anU
  27         x_r3f   =   s{-r3r,x-}
  28                         [t{-ao8-}, GHC.Void{-3T,p-} -> t{-ao8-}, t{-ao8-}] k{-r3q,x-}
  29                                                                                [t{-ao8-}, GHC.Void{-3T,p-}
  30                                                                                           -> t{-ao8-}]
  31                                                                            k{-r3q,x-}
  32                                                                                [t{-ao8-}, GHC.Void{-3T,p-}]
  33                                                                            x_r3f
  34 {- nonrec -}
  35 ghc: module version changed to 1; reason: no old .hi file
  36 _interface_ ShouldSucceed 1
  37 _instance_modules_
  38 ArrBase IO PrelNum
  39 _exports_
  40 ShouldSucceed k main s;
  41 _declarations_
  42 1 k _:_ _forall_ [a b] => a -> b -> a ;;
  43 1 main _:_ _forall_ [a] => a -> a ;;
  44 1 s _:_ _forall_ [a b c] => (a -> b -> c) -> (a -> b) -> a -> c ;;