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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3x,x-} =
   7     _/\_ a{-r3w-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aog-}]
  12 [d.Eq'_ao9]
  13 [([a{-aog-}], $mdeq{-rnR,x-}, deq_aob)]
  14     AbsBinds [] [] [([], deq_aob, deq_aod)]
  15         deq_aod
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aog-}
  18                      -> a{-aog-}
  19                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method deq"
  20 {- rec -}
  21 AbsBinds
  22 [a{-anC-}]
  23 [d.Eq'_ao2]
  24 [([a{-anC-}], $d1{-roh,x-}, d.Eq'_anw)]
  25     d.Eq'_ao5 =
  26         d.Eq'_ao2
  27     deq_aok =
  28         deq{-r3x,x-}
  29             a{-anC-}
  30             d.Eq'_ao5
  31     deq_aoj =
  32         deq_aoi
  33     AbsBinds [] [] [([], deq_aoi, deq_anz)]
  34         deq_anz
  35             PrelBase.[]{-5i,p-}{i} PrelBase.[]{-5i,p-}{i}
  36                     =   PrelBase.True{-5E,p-}{i}
  37         deq_anz
  38             (x_r3l PrelBase.:{-55,p-}{i} xs_r3m)
  39             (y_r3o PrelBase.:{-55,p-}{i} ys_r3p)
  40                     =   if x_r3l deq_aok y_r3o then
  41                             deq_aoj xs_r3m ys_r3p
  42                         else
  43                             PrelBase.False{-58,p-}{i}
  44         deq_anz
  45             other1_r3r other2_r3t
  46                     =   PrelBase.False{-58,p-}{i}
  47     d.Eq'_anw =
  48         ({-dict-} [] [deq_aoi])
  49 {- nonrec -}
  50 ghc:junk old iface line?:section::interface ShouldSucceed where {
  51 ghc:junk old iface line?:section::class Eq' a where {
  52 ghc:junk old iface line?:section::    deq :: a -> a -> Bool
  53 ghc:junk old iface line?:section::    };
  54 ghc:junk old iface line?:section::instance (Eq' a) => Eq' [a] {-# FROMMODULE ShouldSucceed #-}
  55 ghc:junk old iface line?:section::}
  56 ghc: module version changed to 1; reason: exports changed
  57 _interface_ ShouldSucceed 1
  58 _instance_modules_
  59 ArrBase IO PrelNum
  60 _exports_
  61 ShouldSucceed Eq'(deq);
  62 _instances_
  63 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
  64 _declarations_
  65 1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  66 1 $mdeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
  67 1 class Eq' r3w where {deq :: r3w -> r3w -> PrelBase.Bool} ;