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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Foo.o_and = /\ a.t39 -> \{-classdict-} [] [o_and.t40] -> o_and.t40
   4 {- nonrec -}
   5 defm.ShouldSucceed.Foo.o_and =
   6     /\ a.t41 ->
   7         \{-dict-} d.ShouldSucceed.Foo.t42 ->
   8             (error (a.t41 -> a.t41 -> a.t41))
   9                 "No default method for \"ShouldSucceed.Foo.defm.ShouldSucceed.Foo.o_and\"\n"
  10 {- rec -}
  11 dfun.ShouldSucceed.Foo.Bool = ({-dict-} [] [const.ShouldSucceed.Foo.Bool.o_and])
  12 const.ShouldSucceed.Foo.Bool.o_and :: Bool -> Bool -> Bool
  13 const.ShouldSucceed.Foo.Bool.o_and
  14     False x.r30
  15             = False
  16 const.ShouldSucceed.Foo.Bool.o_and
  17     x.r31 False
  18             = False
  19 const.ShouldSucceed.Foo.Bool.o_and
  20     True True
  21             = True
  22 {- rec -}
  23 dfun.ShouldSucceed.Foo.Int = ({-dict-} [] [const.ShouldSucceed.Foo.Int.o_and])
  24 const.ShouldSucceed.Foo.Int.o_and :: Int -> Int -> Int
  25 const.ShouldSucceed.Foo.Int.o_and
  26     x.r32 0 = lit.t24
  27 const.ShouldSucceed.Foo.Int.o_and
  28     0 x.r33 = lit.t30
  29 const.ShouldSucceed.Foo.Int.o_and
  30     1 1 = lit.t38
  31 lit.t21 = MkInt 0#
  32 (==.t22) = eqInt
  33 lit.t24 = lit.t21
  34 lit.t26 = lit.t21
  35 (==.t27) = (==.t22)
  36 lit.t30 = lit.t21
  37 lit.t32 = MkInt 1#
  38 (==.t33) = (==.t22)
  39 lit.t35 = lit.t32
  40 (==.t36) = (==.t22)
  41 lit.t38 = lit.t32
  42 AbsBinds [ot3] [] [(f.t1, ShouldSucceed.f)]
  43     (ShouldSucceed.Foo.o_and.t5, const.ShouldSucceed.Foo.Bool.o_and)
  44     {- nonrec -}
  45     f.t1 :: Bool -> ot3 -> Bool
  46     f.t1 x.r61 y.r62
  47                  = ShouldSucceed.Foo.o_and.t5 x.r61 False
  48 AbsBinds
  49 [ot9, a.t10]
  50 [d.Num.t15, d.ShouldSucceed.Foo.t16]
  51 [(g.t7, ShouldSucceed.g)]
  52     (fromInt.t14, fromInt a.t10 d.Num.t15)
  53     (lit.t13, fromInt.t14 (MkInt 1#))
  54     (ShouldSucceed.Foo.o_and.t11,
  55         ShouldSucceed.Foo.o_and a.t10 d.ShouldSucceed.Foo.t16)
  56     {- nonrec -}
  57     g.t7 :: a.t10 -> ot9 -> a.t10
  58     g.t7 x.r63 y.r64
  59                  = ShouldSucceed.Foo.o_and.t11 x.r63 lit.t13
  60