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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3z,x-} =
   7     _/\_ a{-r3y-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aol-}]
  12 [d.Eq2_aoe]
  13 [([a{-aol-}], $mdeq{-ro0,x-}, deq_aog)]
  14     AbsBinds [] [] [([], deq_aog, deq_aoi)]
  15         deq_aoi
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aol-}
  18                      -> a{-aol-}
  19                      -> PrelBase.Bool{-34,p-}) "Class Eq2 Method deq"
  20 {- rec -}
  21 AbsBinds [] [] [([], $d1{-rom,x-}, d.Eq2_anx)]
  22     AbsBinds [] [] [([], deq_aon, deq_anA)]
  23         deq_anA
  24             x_r3h y_r3j
  25                     =   PrelBase.True{-5E,p-}{i}
  26     d.Eq2_anx =
  27         ({-dict-} [] [deq_aon])
  28 {- rec -}
  29 AbsBinds
  30 [a{-anT-}]
  31 [d.Eq2_ao6]
  32 [([a{-anT-}], $d2{-roo,x-}, d.Eq2_anJ)]
  33     d.Eq2_aoa =
  34         d.Eq2_ao6
  35     deq_aor =
  36         deq{-r3z,x-}
  37             a{-anT-}
  38             d.Eq2_aoa
  39     deq_aoq =
  40         deq_aop
  41     AbsBinds [] [] [([], deq_aop, deq_anM)]
  42         deq_anM
  43             (a_r3r PrelBase.:{-55,p-}{i} as_r3s)
  44             (b_r3u PrelBase.:{-55,p-}{i} bs_r3v)
  45                     =   if deq_aor a_r3r b_r3u then
  46                             deq_aoq as_r3s bs_r3v
  47                         else
  48                             PrelBase.False{-58,p-}{i}
  49     d.Eq2_anJ =
  50         ({-dict-} [] [deq_aop])
  51 {- nonrec -}
  52 tc060.hs:7:
  53     Warning: Possibly incomplete patterns
  54         in the definition of function `deq'
  55 ghc: module version changed to 1; reason: no old .hi file
  56 _interface_ ShouldSucceed 1
  57 _instance_modules_
  58 ArrBase IO PrelNum
  59 _exports_
  60 ShouldSucceed Eq2(deq);
  61 _instances_
  62 instance {Eq2 PrelBase.Int} = $d1;
  63 instance _forall_ [a] {Eq2 a} => {Eq2 [a]} = $d2;
  64 _declarations_
  65 1 $d1 _:_ {Eq2 PrelBase.Int} ;;
  66 1 $d2 _:_ _forall_ [a] {Eq2 a} => {Eq2 [a]} ;;
  67 1 $mdeq _:_ _forall_ [a] {Eq2 a} => a -> a -> PrelBase.Bool ;;
  68 1 class Eq2 r3y where {deq :: r3y -> r3y -> PrelBase.Bool} ;