ghc/compiler/tests/typecheck/should_succeed/tc061.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{-aoi-}]
  12 [d.Eq1_aob]
  13 [([a{-aoi-}], $mdeq{-ro0,x-}, deq_aod)]
  14     AbsBinds [] [] [([], deq_aod, deq_aof)]
  15         deq_aof
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aoi-}
  18                      -> a{-aoi-}
  19                      -> PrelBase.Bool{-34,p-}) "Class Eq1 Method deq"
  20 {- rec -}
  21 AbsBinds [] [] [([], $d1{-roj,x-}, d.Eq1_anx)]
  22     AbsBinds [] [] [([], deq_aok, deq_anA)]
  23         deq_anA
  24             x_r3h y_r3j
  25                     =   PrelBase.True{-5E,p-}{i}
  26     d.Eq1_anx =
  27         ({-dict-} [] [deq_aok])
  28 {- rec -}
  29 AbsBinds
  30 [a{-anT-}]
  31 [d.Eq1_ao3]
  32 [([a{-anT-}], $d2{-rol,x-}, d.Eq1_anJ)]
  33     d.Eq1_ao7 =
  34         d.Eq1_ao3
  35     deq_aon =
  36         deq{-r3z,x-}
  37             a{-anT-}
  38             d.Eq1_ao7
  39     AbsBinds [] [] [([], deq_aom, deq_anM)]
  40         deq_anM
  41             (a_r3r PrelBase.:{-55,p-}{i} as_r3s)
  42             (b_r3u PrelBase.:{-55,p-}{i} bs_r3v)
  43                     =   deq_aon a_r3r b_r3u
  44     d.Eq1_anJ =
  45         ({-dict-} [] [deq_aom])
  46 {- nonrec -}
  47 tc061.hs:7:
  48     Warning: Possibly incomplete patterns
  49         in the definition of function `deq'
  50 ghc: module version changed to 1; reason: no old .hi file
  51 _interface_ ShouldSucceed 1
  52 _instance_modules_
  53 ArrBase IO PrelNum
  54 _exports_
  55 ShouldSucceed Eq1(deq);
  56 _instances_
  57 instance {Eq1 PrelBase.Int} = $d1;
  58 instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $d2;
  59 _declarations_
  60 1 $d1 _:_ {Eq1 PrelBase.Int} ;;
  61 1 $d2 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
  62 1 $mdeq _:_ _forall_ [a] {Eq1 a} => a -> a -> PrelBase.Bool ;;
  63 1 class Eq1 r3y where {deq :: r3y -> r3y -> PrelBase.Bool} ;