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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-anm-}, t{-ano-}]
   9 []
  10 [([t{-anm-}, t{-ano-}], k{-r3o,x-}, k_ane)]
  11     k_ane
  12         x_r3l y_r3n
  13                 =   x_r3l
  14 {- nonrec -}
  15 {- nonrec -}
  16 AbsBinds
  17 [t{-anM-}, t{-anO-}, t{-anQ-}]
  18 []
  19 [([t{-anM-}, t{-anO-}, t{-anQ-}], s{-r3p,x-}, s_anq)]
  20     s_anq
  21         f_r3f g_r3h x_r3j
  22                 =   f_r3f x_r3j g_r3h x_r3j
  23 {- nonrec -}
  24 {- nonrec -}
  25 AbsBinds [t{-ao5-}] [] [([t{-ao5-}], main{-r3q,x-}, main_anS)]
  26     main_anS
  27         =   s{-r3p,x-}
  28                 [t{-ao5-}, GHC.Void{-3T,p-} -> t{-ao5-}, t{-ao5-}] k{-r3o,x-}
  29                                                                        [t{-ao5-}, GHC.Void{-3T,p-}
  30                                                                                   -> t{-ao5-}]
  31                                                                    k{-r3o,x-}
  32                                                                        [t{-ao5-}, GHC.Void{-3T,p-}]
  33 {- nonrec -}
  34 ghc: module version changed to 1; reason: no old .hi file
  35 _interface_ ShouldSucceed 1
  36 _instance_modules_
  37 ArrBase IO PrelNum
  38 _exports_
  39 ShouldSucceed k main s;
  40 _declarations_
  41 1 k _:_ _forall_ [a b] => a -> b -> a ;;
  42 1 main _:_ _forall_ [a] => a -> a ;;
  43 1 s _:_ _forall_ [a b c] => (a -> b -> c) -> (a -> b) -> a -> c ;;