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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3G,x-} =
   7     _/\_ a{-r3E-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aoL-}]
  12 [d.Eq1_aoE]
  13 [([a{-aoL-}], $mdeq{-rnK,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 Eq1 Method deq"
  20 {- rec -}
  21 AbsBinds
  22 [a{-ao9-}]
  23 [d.Eq1_aol]
  24 [([a{-ao9-}], $d1{-roM,x-}, d.Eq1_anZ)]
  25     d.Eq1_aop =
  26         d.Eq1_aol
  27     deq_aoP =
  28         deq{-r3G,x-}
  29             a{-ao9-}
  30             d.Eq1_aop
  31     deq_aoO =
  32         deq_aoN
  33     AbsBinds [] [] [([], deq_aoN, deq_ao2)]
  34         deq_ao2
  35             (a_r3p PrelBase.:{-55,p-}{i} as_r3q)
  36             (b_r3s PrelBase.:{-55,p-}{i} bs_r3t)
  37                     =   if deq_aoP a_r3p b_r3s then
  38                             deq_aoO as_r3q bs_r3t
  39                         else
  40                             PrelBase.False{-58,p-}{i}
  41     d.Eq1_anZ =
  42         ({-dict-} [] [deq_aoN])
  43 {- rec -}
  44 AbsBinds [] [] [([], $d2{-roQ,x-}, d.Eq1_aov)]
  45     AbsBinds [] [] [([], deq_aoR, deq_aoy)]
  46         deq_aoy
  47             x_r3z y_r3B
  48                     =   PrelBase.True{-5E,p-}{i}
  49     d.Eq1_aov =
  50         ({-dict-} [] [deq_aoR])
  51 {- nonrec -}
  52 {- nonrec -}
  53 AbsBinds [t{-anH-}] [d.Eq1_anT] [([t{-anH-}], f{-r3F,x-}, f_anB)]
  54     d.Eq1_anR =
  55         $d1{-roM,x-}
  56             t{-anH-}
  57             d.Eq1_anT
  58     deq_aoS =
  59         deq{-r3G,x-}
  60             [t{-anH-}]
  61             d.Eq1_anR
  62     f_anB
  63         x_r3f (y_r3h PrelBase.:{-55,p-}{i} ys_r3i)
  64                 =   deq_aoS x_r3f ys_r3i
  65 {- nonrec -}
  66 tc062.hs:10:
  67     Warning: Possibly incomplete patterns
  68         in the definition of function `deq'
  69 tc062.hs:12:
  70     Warning: Possibly incomplete patterns
  71         in the definition of function `f'
  72 ghc: module version changed to 1; reason: no old .hi file
  73 _interface_ ShouldSucceed 1
  74 _instance_modules_
  75 ArrBase IO PrelNum
  76 _exports_
  77 ShouldSucceed f Eq1(deq);
  78 _instances_
  79 instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $d1;
  80 instance {Eq1 PrelBase.Int} = $d2;
  81 _declarations_
  82 1 $d1 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
  83 1 $d2 _:_ {Eq1 PrelBase.Int} ;;
  84 1 $mdeq _:_ _forall_ [a] {Eq1 a} => a -> a -> PrelBase.Bool ;;
  85 1 class Eq1 r3E where {deq :: r3E -> r3E -> PrelBase.Bool} ;
  86 1 f _:_ _forall_ [a] {Eq1 a} => [a] -> [a] -> PrelBase.Bool ;;