ghc/tests/typecheck/should_compile/tc082.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [tarE] [] [([tarE], f{-r3p,x-}, f_arp)]
   3     d.Normal_arG = $d1{-rs3,x-} [GHC.Void{-3T,W-}, GHC.Void{-3T,W-}]
   4     normal_as2 =
   5         normal{-r3q,x-} (GHC.Void{-3T,W-} -> GHC.Void{-3T,W-}) d.Normal_arG
   6     f_arp x_r3f = normal_as2 PrelBase.id{-r9U,p-} GHC.Void{-3T,W-}
   7 AbsBinds
   8 [tarV, tarW]
   9 []
  10 [([tarV, tarW], $d1{-rs3,x-}, d.Normal_arO)]
  11     AbsBinds [] [] [([], normal_as4, normal_arS)]
  12         normal_arS _ = PrelBase.True{-5E,w-}{i}
  13     d.Normal_arO = ({-dict-} [] [normal_as4])
  14 normal{-r3q,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  15 AbsBinds [tas1] [d.Normal_as0] []
  16
  17 ghc: module version changed to 1; reason: no old .hi file
  18 _interface_ ShouldSucceed 1
  19 _instance_modules_
  20 ArrBase IO PrelNum
  21 _usages_
  22 PrelBase 1 :: id 1;
  23 _exports_
  24 ShouldSucceed f Normal(normal);
  25 _instances_
  26 instance _forall_ [a b] => {Normal (a -> b)} = $d1;
  27 _declarations_
  28 1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
  29 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
  30 1 f _:_ _forall_ [ta] => ta -> PrelBase.Bool ;;