ghc/tests/typecheck/should_compile/tc082.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [tary] [] [([tary], f{-r3p,x-}, f_arl)]
   6     d.Normal_arA = $d1{-rrW,x-} [GHC.Void{-3T,W-}, GHC.Void{-3T,W-}]
   7     normal_arX =
   8         normal{-r3r,x-} (GHC.Void{-3T,W-} -> GHC.Void{-3T,W-}) d.Normal_arA
   9     f_arl x_r3f = normal_arX PrelBase.id{-r9U,p-} GHC.Void{-3T,W-}
  10 AbsBinds
  11 [tarP, tarQ]
  12 []
  13 [([tarP, tarQ], $d1{-rrW,x-}, d.Normal_arI)]
  14     AbsBinds [] [] [([], normal_arY, normal_arM)]
  15         normal_arM _ = PrelBase.True{-5E,w-}{i}
  16     d.Normal_arI = ({-dict-} [] [normal_arY])
  17 normal{-r3r,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  18 AbsBinds [tarV] [d.Normal_arU] []
  19 ghc: module version changed to 1; reason: no old .hi file
  20 _interface_ ShouldSucceed 1
  21 _instance_modules_
  22 ArrBase IO PrelNum
  23 _usages_
  24 PrelBase 1 :: id 1;
  25 _exports_
  26 ShouldSucceed f Normal(normal);
  27 _instances_
  28 instance _forall_ [a b] => {Normal (a -> b)} = $d1;
  29 _declarations_
  30 1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
  31 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
  32 1 f _:_ _forall_ [ta] => ta -> PrelBase.Bool ;;