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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 normal{-r3q,x-} =
   7     _/\_ a{-r3o-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-avr-}]
  12 [d.Normal_avk]
  13 [([a{-avr-}], $mnormal{-ruO,x-}, normal_avm)]
  14     AbsBinds [] [] [([], normal_avm, normal_avo)]
  15         normal_avo
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-avr-} -> PrelBase.Bool{-34,p-}) "Class Normal Method normal"
  18 {- rec -}
  19 AbsBinds
  20 [a{-avf-}, b{-avg-}]
  21 []
  22 [([a{-avf-}, b{-avg-}], $d1{-rvs,x-}, d.Normal_av9)]
  23     AbsBinds [] [] [([], normal_avt, normal_avc)]
  24         normal_avc
  25             _       =   PrelBase.True{-5E,p-}{i}
  26     d.Normal_av9 =
  27         ({-dict-} [] [normal_avt])
  28 {- nonrec -}
  29 {- nonrec -}
  30 AbsBinds [t{-auZ-}] [] [([t{-auZ-}], f{-r3p,x-}, f_auN)]
  31     d.Normal_av1 =
  32         $d1{-rvs,x-}
  33             [GHC.Void{-3T,p-}, GHC.Void{-3T,p-}]
  34     normal_avu =
  35         normal{-r3q,x-}
  36             (GHC.Void{-3T,p-} -> GHC.Void{-3T,p-})
  37             d.Normal_av1
  38     f_auN
  39         x_r3f   =   normal_avu PrelBase.id{-raJ,p-}
  40                                    GHC.Void{-3T,p-}
  41 {- nonrec -}
  42 ghc: module version changed to 1; reason: no old .hi file
  43 _interface_ N 1
  44 _instance_modules_
  45 ArrBase IO PrelNum
  46 _usages_
  47 PrelBase 1 :: id 1;
  48 _exports_
  49 N f Normal(normal);
  50 _instances_
  51 instance _forall_ [a b] => {Normal (a -> b)} = $d1;
  52 _declarations_
  53 1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
  54 1 $mnormal _:_ _forall_ [a] {Normal a} => a -> PrelBase.Bool ;;
  55 1 class Normal r3o where {normal :: r3o -> PrelBase.Bool} ;
  56 1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;