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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 deq{-r3N,x-} =
   7     _/\_ a{-r3K-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 foo{-r3M,x-} =
  10     _/\_ a{-r3K-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aIS-}]
  15 [d.Eq2_aIL]
  16 [([a{-aIS-}], $mdeq{-rHo,x-}, deq_aIN)]
  17     AbsBinds [] [] [([], deq_aIN, deq_aIP)]
  18         deq_aIP
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aIS-}
  21                      -> a{-aIS-}
  22                      -> PrelBase.Bool{-34,p-}) "Class Eq2 Method deq"
  23 AbsBinds
  24 [a{-aIS-}]
  25 [d.Eq2_aIV]
  26 [([a{-aIS-}], $mfoo{-rHn,x-}, foo_aIX)]
  27     AbsBinds [] [] [([], foo_aIX, foo_aIZ)]
  28         foo_aIZ
  29             =   GHCerr.noDefaultMethodError{-8k,p-}
  30                     (a{-aIS-} -> a{-aIS-}) "Class Eq2 Method foo"
  31 {- rec -}
  32 AbsBinds
  33 [a{-aHX-}]
  34 [d.Eq2_aIm]
  35 [([a{-aHX-}], $d1{-rJ2,x-}, d.Eq2_aHN)]
  36     d.Eq2_aIp =
  37         d.Eq2_aIm
  38     deq_aJ8 =
  39         deq{-r3N,x-}
  40             a{-aHX-}
  41             d.Eq2_aIp
  42     d.Eq2_aIr =
  43         d.Eq2_aIm
  44     foo_aJ7 =
  45         foo{-r3M,x-}
  46             a{-aHX-}
  47             d.Eq2_aIr
  48     deq_aJ6 =
  49         deq_aJ4
  50     foo_aJ5 =
  51         foo_aJ3
  52     AbsBinds [] [] [([], deq_aJ4, deq_aHQ)]
  53         deq_aHQ
  54             (a_r3n PrelBase.:{-55,p-}{i} as_r3o)
  55             (b_r3q PrelBase.:{-55,p-}{i} bs_r3r)
  56                     =   if deq_aJ8 a_r3n foo_aJ7 b_r3q then
  57                             deq_aJ6 as_r3o foo_aJ5 bs_r3r
  58                         else
  59                             PrelBase.False{-58,p-}{i}
  60     AbsBinds [] [] [([], foo_aJ3, foo_aIj)]
  61         foo_aIj
  62             x_r3v   =   x_r3v
  63     d.Eq2_aHN =
  64         ({-dict-} [] [deq_aJ4, foo_aJ3])
  65 {- rec -}
  66 AbsBinds [] [] [([], $d2{-rJ9,x-}, d.Eq2_aIx)]
  67     AbsBinds [] [] [([], deq_aJb, deq_aIA)]
  68         deq_aIA
  69             x_r3B y_r3D
  70                     =   PrelBase.True{-5E,p-}{i}
  71     AbsBinds [] [] [([], foo_aJa, foo_aIG)]
  72         foo_aIG
  73             x_r3H   =   x_r3H
  74     d.Eq2_aIx =
  75         ({-dict-} [] [deq_aJb, foo_aJa])
  76 {- nonrec -}
  77 {- nonrec -}
  78 AbsBinds
  79 [t{-aHy-}]
  80 [d.Eq2_aHE, d.Num_aHH]
  81 [([t{-aHy-}], f{-r3L,x-}, f_aHm)]
  82     d.Eq2_aHC =
  83         $d1{-rJ2,x-}
  84             t{-aHy-}
  85             d.Eq2_aHE
  86     deq_aJe =
  87         deq{-r3N,x-}
  88             [t{-aHy-}]
  89             d.Eq2_aHC
  90     fromInt_aJd =
  91         PrelBase.fromInt{-8R,p-}
  92             t{-aHy-}
  93             d.Num_aHH
  94     lit_aJc =
  95         fromInt_aJd PrelBase.I#{-5b,p-}{i} 1#
  96     f_aHm
  97         x_r3g   =   deq_aJe x_r3g [lit_aJc] (t{-aHy-})
  98 {- nonrec -}
  99 tc059.hs:12:
 100     Warning: Possibly incomplete patterns
 101         in the definition of function `deq'
 102 ghc: module version changed to 1; reason: no old .hi file
 103 _interface_ ShouldSucceed 1
 104 _instance_modules_
 105 ArrBase IO PrelNum
 106 _usages_
 107 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;
 108 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
 109 _exports_
 110 ShouldSucceed f Eq2(deq foo);
 111 _instances_
 112 instance _forall_ [a] {Eq2 a} => {Eq2 [a]} = $d1;
 113 instance {Eq2 PrelBase.Int} = $d2;
 114 _declarations_
 115 1 $d1 _:_ _forall_ [a] {Eq2 a} => {Eq2 [a]} ;;
 116 1 $d2 _:_ {Eq2 PrelBase.Int} ;;
 117 1 $mdeq _:_ _forall_ [a] {Eq2 a} => a -> a -> PrelBase.Bool ;;
 118 1 $mfoo _:_ _forall_ [a] {Eq2 a} => a -> a ;;
 119 1 class Eq2 r3K where {deq :: r3K -> r3K -> PrelBase.Bool; foo :: r3K -> r3K} ;
 120 1 f _:_ _forall_ [a] {Eq2 a, PrelBase.Num a} => [a] -> PrelBase.Bool ;;