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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 o_and{-r3P,x-} =
   7     _/\_ a{-r3M-} -> \ tpl_B1 ->
   8         tpl_B1
   9 {- nonrec -}
  10 AbsBinds
  11 [a{-aIR-}]
  12 [d.Foo_aIK]
  13 [([a{-aIR-}], $mo_and{-rHn,x-}, o_and_aIM)]
  14     AbsBinds [] [] [([], o_and_aIM, o_and_aIO)]
  15         o_and_aIO
  16             =   GHCerr.noDefaultMethodError{-8k,p-}
  17                     (a{-aIR-} -> a{-aIR-} -> a{-aIR-}) "Class Foo Method o_and"
  18 {- rec -}
  19 AbsBinds [] [] [([], $d1{-rJ9,x-}, d.Foo_aI0)]
  20     AbsBinds [] [] [([], o_and_aJa, o_and_aI3)]
  21         lit_aJi =
  22             lit_aJ7
  23         lit_aJh =
  24             lit_aJ7
  25         ==_aJg =
  26             ==_aJ6
  27         lit_aJf =
  28             lit_aJ7
  29         ==_aJe =
  30             ==_aJ6
  31         lit_aJd =
  32             lit_aJ4
  33         ==_aJc =
  34             ==_aJ6
  35         lit_aJb =
  36             lit_aJ4
  37         o_and_aI3
  38             x_r3r 0 =   lit_aJi
  39         o_and_aI3
  40             0 x_r3v =   lit_aJf
  41         o_and_aI3
  42             1 1     =   lit_aJb
  43     d.Foo_aI0 =
  44         ({-dict-} [] [o_and_aJa])
  45 {- rec -}
  46 AbsBinds [] [] [([], $d2{-rJj,x-}, d.Foo_aIB)]
  47     AbsBinds [] [] [([], o_and_aJk, o_and_aIE)]
  48         o_and_aIE
  49             PrelBase.False{-58,p-}{i} x_r3E
  50                     =   PrelBase.False{-58,p-}{i}
  51         o_and_aIE
  52             x_r3G PrelBase.False{-58,p-}{i}
  53                     =   PrelBase.False{-58,p-}{i}
  54         o_and_aIE
  55             PrelBase.True{-5E,p-}{i} PrelBase.True{-5E,p-}{i}
  56                     =   PrelBase.True{-5E,p-}{i}
  57     d.Foo_aIB =
  58         ({-dict-} [] [o_and_aJk])
  59 {- nonrec -}
  60 d.Num_aIV =
  61     PrelBase.$d3{-rbG,p-}
  62 fromInt_aJ8 =
  63     PrelBase.fromInt{-8R,p-}
  64         PrelBase.Int{-3g,p-}
  65         d.Num_aIV
  66 lit_aJ7 =
  67     fromInt_aJ8 PrelBase.I#{-5b,p-}{i} 0#
  68 d.Eq_aIY =
  69     PrelBase.$d7{-rcc,p-}
  70 ==_aJ6 =
  71     PrelBase.=={-8Y,p-}
  72         PrelBase.Int{-3g,p-}
  73         d.Eq_aIY
  74 fromInt_aJ5 =
  75     fromInt_aJ8
  76 lit_aJ4 =
  77     fromInt_aJ5 PrelBase.I#{-5b,p-}{i} 1#
  78 d.Foo_aJ2 =
  79     $d2{-rJj,x-}
  80 o_and_aJ3 =
  81     o_and{-r3P,x-}
  82         PrelBase.Bool{-34,p-}
  83         d.Foo_aJ2
  84 {- nonrec -}
  85 AbsBinds
  86 [t{-aHw-}, t{-aHB-}]
  87 [d.Foo_aHD, d.Num_aHG]
  88 [([t{-aHw-}, t{-aHB-}], g{-r3N,x-}, g_aHm)]
  89     o_and_aJn =
  90         o_and{-r3P,x-}
  91             t{-aHw-}
  92             d.Foo_aHD
  93     fromInt_aJm =
  94         PrelBase.fromInt{-8R,p-}
  95             t{-aHw-}
  96             d.Num_aHG
  97     lit_aJl =
  98         fromInt_aJm PrelBase.I#{-5b,p-}{i} 1#
  99     g_aHm
 100         x_r3k y_r3m
 101                 =   o_and_aJn x_r3k lit_aJl
 102 {- nonrec -}
 103 {- nonrec -}
 104 AbsBinds [t{-aHT-}] [] [([t{-aHT-}], f{-r3O,x-}, f_aHI)]
 105     f_aHI
 106         x_r3g y_r3i
 107                 =   o_and_aJ3 x_r3g PrelBase.False{-58,p-}{i}
 108 {- nonrec -}
 109 tc050.hs:14:
 110     Warning: Possibly incomplete patterns
 111         in the definition of function `o_and'
 112 tc050.hs:8:
 113     Warning: Possibly incomplete patterns
 114         in the definition of function `o_and'
 115 ghc: module version changed to 1; reason: no old .hi file
 116 _interface_ ShouldSucceed 1
 117 _instance_modules_
 118 ArrBase IO PrelNum
 119 _usages_
 120 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;
 121 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
 122 _exports_
 123 ShouldSucceed f g Foo(o_and);
 124 _instances_
 125 instance {Foo PrelBase.Int} = $d1;
 126 instance {Foo PrelBase.Bool} = $d2;
 127 _declarations_
 128 1 $d1 _:_ {Foo PrelBase.Int} ;;
 129 1 $d2 _:_ {Foo PrelBase.Bool} ;;
 130 1 $mo_and _:_ _forall_ [a] {Foo a} => a -> a -> a ;;
 131 1 class Foo r3M where {o_and :: r3M -> r3M -> r3M} ;
 132 1 f _:_ _forall_ [a] => PrelBase.Bool -> a -> PrelBase.Bool ;;
 133 1 g _:_ _forall_ [a b] {Foo a, PrelBase.Num a} => a -> b -> a ;;