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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3R,x-} =
   7     _/\_ a{-r3Q-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aIY-}]
  12 [d.Eq'_aIR]
  13 [([a{-aIY-}], $mdeq{-rHC,x-}, deq_aIT)]
  14     AbsBinds [] [] [([], deq_aIT, deq_aIV)]
  15         deq_aIV
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aIY-}
  18                      -> a{-aIY-}
  19                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method deq"
  20 {- rec -}
  21 AbsBinds
  22 [a{-aIk-}]
  23 [d.Eq'_aIw]
  24 [([a{-aIk-}], $d1{-rJf,x-}, d.Eq'_aIa)]
  25     d.Eq'_aIA =
  26         d.Eq'_aIw
  27     f_aJi =
  28         f{-r3i,x-}
  29             a{-aIk-}
  30             d.Eq'_aIA
  31     d.Eq'_aIC =
  32         d.Eq'_aIa
  33     f_aJh =
  34         f{-r3i,x-}
  35             [a{-aIk-}]
  36             d.Eq'_aIC
  37     AbsBinds [] [] [([], deq_aJg, deq_aId)]
  38         deq_aId
  39             (a_r3B PrelBase.:{-55,p-}{i} as_r3C)
  40             (b_r3E PrelBase.:{-55,p-}{i} bs_r3F)
  41                     =   dand{-r3j,x-} f_aJi a_r3B b_r3E f_aJh as_r3C bs_r3F
  42     d.Eq'_aIa =
  43         ({-dict-} [] [deq_aJg])
  44 {- rec -}
  45 AbsBinds [] [] [([], $d2{-rJj,x-}, d.Eq'_aII)]
  46     AbsBinds [] [] [([], deq_aJk, deq_aIL)]
  47         deq_aIL
  48             x_r3L y_r3N
  49                     =   PrelBase.True{-5E,p-}{i}
  50     d.Eq'_aII =
  51         ({-dict-} [] [deq_aJk])
  52 {- nonrec -}
  53 d.Eq'_aJ3 =
  54     $d2{-rJj,x-}
  55 d.Eq'_aJ1 =
  56     $d1{-rJf,x-}
  57         PrelBase.Int{-3g,p-}
  58         d.Eq'_aJ3
  59 deq_aJe =
  60     deq{-r3R,x-}
  61         [PrelBase.Int{-3g,p-}]
  62         d.Eq'_aJ1
  63 d.Num_aJ7 =
  64     PrelBase.$d3{-rbH,p-}
  65 fromInt_aJd =
  66     PrelBase.fromInt{-8R,p-}
  67         PrelBase.Int{-3g,p-}
  68         d.Num_aJ7
  69 lit_aJc =
  70     fromInt_aJd PrelBase.I#{-5b,p-}{i} 1#
  71 fromInt_aJb =
  72     fromInt_aJd
  73 lit_aJ8 =
  74     fromInt_aJb PrelBase.I#{-5b,p-}{i} 2#
  75 {- nonrec -}
  76 AbsBinds [] [] [([], dand{-r3j,x-}, dand_aHo)]
  77     dand_aHo
  78         PrelBase.True{-5E,p-}{i} PrelBase.True{-5E,p-}{i}
  79                 =   PrelBase.True{-5E,p-}{i}
  80     dand_aHo
  81         x_r3n y_r3p
  82                 =   PrelBase.False{-58,p-}{i}
  83 {- nonrec -}
  84 {- nonrec -}
  85 AbsBinds [a{-aHz-}] [d.Eq'_aHY] [([a{-aHz-}], f{-r3i,x-}, f_aHw)]
  86     d.Eq'_aI0 =
  87         d.Eq'_aHY
  88     deq_aJl =
  89         deq{-r3R,x-}
  90             a{-aHz-}
  91             d.Eq'_aI0
  92     f_aHw
  93         p_r3r q_r3t
  94                 =   dand{-r3j,x-} deq_aJl p_r3r q_r3t
  95                                   deq_aJe [lit_aJc] (PrelBase.Int{-3g,p-})
  96                                           [lit_aJ8] (PrelBase.Int{-3g,p-})
  97 {- nonrec -}
  98 tc057.hs:12:
  99     Warning: Possibly incomplete patterns
 100         in the definition of function `deq'
 101 ghc:junk old iface line?:section::interface ShouldSucceed where {
 102 ghc:junk old iface line?:section::class Eq' a where { deq }
 103 ghc:junk old iface line?:section::instance <Eq' Int>
 104 ghc:junk old iface line?:section::instance Eq' a => <Eq' [a]>
 105 ghc:junk old iface line?:section::dand  ::  Bool -> Bool -> Bool
 106 ghc:junk old iface line?:section::f  ::  Eq' t93 => t93 -> t93 -> Bool
 107 ghc:junk old iface line?:section::}
 108 ghc: module version changed to 1; reason: usages changed
 109 _interface_ ShouldSucceed 1
 110 _instance_modules_
 111 ArrBase IO PrelNum
 112 _usages_
 113 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;
 114 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
 115 _exports_
 116 ShouldSucceed dand f Eq'(deq);
 117 _instances_
 118 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
 119 instance {Eq' PrelBase.Int} = $d2;
 120 _declarations_
 121 1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
 122 1 $d2 _:_ {Eq' PrelBase.Int} ;;
 123 1 $mdeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
 124 1 class Eq' r3Q where {deq :: r3Q -> r3Q -> PrelBase.Bool} ;
 125 1 dand _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
 126 1 f _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;