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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_APrelBaseEq{-aG7,x-} =
   7     _/\_ a{-r3e-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 op1{-r3f,x-} =
  10     _/\_ a{-r3e-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aG6-}]
  15 [d.A_aFZ]
  16 [([a{-aG6-}], $mop1{-rG8,x-}, op1_aG1)]
  17     AbsBinds [] [] [([], op1_aG1, op1_aG3)]
  18         op1_aG3
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aG6-} -> a{-aG6-}) "Class A Method op1"
  21 {- nonrec -}
  22 ghc: module version changed to 1; reason: no old .hi file
  23 _interface_ ShouldSucceed 1
  24 _instance_modules_
  25 ArrBase IO PrelNum
  26 _usages_
  27 PrelBase 1 :: $d15 1 $d32 1 $d7 1 Eq 1;
  28 PrelNum 1 :: $d18 1;
  29 _exports_
  30 ShouldSucceed A(op1);
  31 _declarations_
  32 1 $mop1 _:_ _forall_ [a] {A a} => a -> a ;;
  33 1 class {PrelBase.Eq r3e} => A r3e where {op1 :: r3e -> r3e} ;