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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 op1{-r3u,x-} =
   7     _/\_ a{-r3t-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-anU-}]
  12 [d.H_anN]
  13 [([a{-anU-}], $mop1{-rnq,x-}, op1_anP)]
  14     AbsBinds [] [] [([], op1_anP, op1_anR)]
  15         op1_anR
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-anU-} -> a{-anU-} -> a{-anU-}) "Class H Method op1"
  18 {- rec -}
  19 AbsBinds [] [] [([], $d1{-rnZ,x-}, d.H_anE)]
  20     AbsBinds [] [] [([], op1_ao0, op1_anH)]
  21         op1_anH
  22             x_r3o y_r3q
  23                     =   y_r3q
  24     d.H_anE =
  25         ({-dict-} [] [op1_ao0])
  26 {- nonrec -}
  27 d.H_anX =
  28     $d1{-rnZ,x-}
  29 op1_anY =
  30     op1{-r3u,x-}
  31         PrelBase.Bool{-34,p-}
  32         d.H_anX
  33 {- nonrec -}
  34 AbsBinds [] [] [([], f{-r1,x-}, f_anp)]
  35     f_anp
  36         x_r3h y_r3j
  37                 =   op1_anY x_r3h x_r3h
  38 {- nonrec -}
  39 ghc: module version changed to 1; reason: no old .hi file
  40 _interface_ ShouldSucceed 1
  41 _instance_modules_
  42 ArrBase IO PrelNum
  43 _exports_
  44 ShouldSucceed f H(op1);
  45 _instances_
  46 instance {H PrelBase.Bool} = $d1;
  47 _declarations_
  48 1 $d1 _:_ {H PrelBase.Bool} ;;
  49 1 $mop1 _:_ _forall_ [a] {H a} => a -> a -> a ;;
  50 1 class H r3t where {op1 :: r3t -> r3t -> r3t} ;
  51 1 f _:_ PrelBase.Bool -> PrelBase.Int -> PrelBase.Bool ;;