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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3D,x-} =
   7     _/\_ a{-r3B-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aIm-}]
  12 [d.Eq'_aIf]
  13 [([a{-aIm-}], $mdeq{-rHb,x-}, deq_aIh)]
  14     AbsBinds [] [] [([], deq_aIh, deq_aIj)]
  15         deq_aIj
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aIm-}
  18                      -> a{-aIm-}
  19                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method deq"
  20 {- rec -}
  21 AbsBinds
  22 [a{-aHK-}]
  23 [d.Eq'_aHW]
  24 [([a{-aHK-}], $d1{-rIn,x-}, d.Eq'_aHA)]
  25     d.Eq'_aI0 =
  26         d.Eq'_aHW
  27     deq_aIq =
  28         deq{-r3D,x-}
  29             a{-aHK-}
  30             d.Eq'_aI0
  31     deq_aIp =
  32         deq_aIo
  33     AbsBinds [] [] [([], deq_aIo, deq_aHD)]
  34         deq_aHD
  35             (a_r3m PrelBase.:{-55,p-}{i} as_r3n)
  36             (b_r3p PrelBase.:{-55,p-}{i} bs_r3q)
  37                     =   if deq_aIq a_r3m b_r3p then
  38                             deq_aIp as_r3n bs_r3q
  39                         else
  40                             PrelBase.False{-58,p-}{i}
  41     d.Eq'_aHA =
  42         ({-dict-} [] [deq_aIo])
  43 {- rec -}
  44 AbsBinds [] [] [([], $d2{-rIr,x-}, d.Eq'_aI6)]
  45     AbsBinds [] [] [([], deq_aIs, deq_aI9)]
  46         deq_aI9
  47             x_r3w y_r3y
  48                     =   PrelBase.True{-5E,p-}{i}
  49     d.Eq'_aI6 =
  50         ({-dict-} [] [deq_aIs])
  51 {- nonrec -}
  52 {- nonrec -}
  53 AbsBinds
  54 [t{-aHl-}]
  55 [d.Eq'_aHr, d.Num_aHu]
  56 [([t{-aHl-}], f{-r3C,x-}, f_aHa)]
  57     d.Eq'_aHp =
  58         $d1{-rIn,x-}
  59             t{-aHl-}
  60             d.Eq'_aHr
  61     deq_aIv =
  62         deq{-r3D,x-}
  63             [t{-aHl-}]
  64             d.Eq'_aHp
  65     fromInt_aIu =
  66         PrelBase.fromInt{-8R,p-}
  67             t{-aHl-}
  68             d.Num_aHu
  69     lit_aIt =
  70         fromInt_aIu PrelBase.I#{-5b,p-}{i} 1#
  71     f_aHa
  72         x_r3f   =   deq_aIv x_r3f [lit_aIt] (t{-aHl-})
  73 {- nonrec -}
  74 tc053.hs:10:
  75     Warning: Possibly incomplete patterns
  76         in the definition of function `deq'
  77 ghc: module version changed to 1; reason: no old .hi file
  78 _interface_ ShouldSucceed 1
  79 _instance_modules_
  80 ArrBase IO PrelNum
  81 _usages_
  82 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  83 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  84 _exports_
  85 ShouldSucceed f Eq'(deq);
  86 _instances_
  87 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
  88 instance {Eq' PrelBase.Int} = $d2;
  89 _declarations_
  90 1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  91 1 $d2 _:_ {Eq' PrelBase.Int} ;;
  92 1 $mdeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
  93 1 class Eq' r3B where {deq :: r3B -> r3B -> PrelBase.Bool} ;
  94 1 f _:_ _forall_ [a] {Eq' a, PrelBase.Num a} => [a] -> PrelBase.Bool ;;