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

   1 Typechecked:
   2 {- nonrec -}
   3 ShouldSucceed.Eq2.doubleeq =
   4     /\ a.t25 -> \{-classdict-} [] [doubleeq.t26] -> doubleeq.t26
   5 {- nonrec -}
   6 defm.ShouldSucceed.Eq2.doubleeq =
   7     /\ a.t27 ->
   8         \{-dict-} d.ShouldSucceed.Eq2.t28 ->
   9             (error (a.t27 -> a.t27 -> Bool))
  10                 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.doubleeq\"\n"
  11 {- nonrec -}
  12 ShouldSucceed.Ord2.lt =
  13     /\ a.t29 -> \{-classdict-} [d.ShouldSucceed.Eq2.t31] [lt.t30] -> lt.t30
  14 sdsel.ShouldSucceed.Ord2.ShouldSucceed.Eq2 =
  15     /\ a.t29 ->
  16         \{-classdict-} [d.ShouldSucceed.Eq2.t31] [lt.t30] ->
  17             d.ShouldSucceed.Eq2.t31
  18 {- nonrec -}
  19 defm.ShouldSucceed.Ord2.lt =
  20     /\ a.t32 ->
  21         \{-dict-} d.ShouldSucceed.Ord2.t33 ->
  22             (error (a.t32 -> a.t32 -> Bool))
  23                 "No default method for \"ShouldSucceed.Ord2.defm.ShouldSucceed.Ord2.lt\"\n"
  24 {- rec -}
  25 dfun.ShouldSucceed.Eq2.Int =
  26     ({-dict-} [] [const.ShouldSucceed.Eq2.Int.doubleeq])
  27 const.ShouldSucceed.Eq2.Int.doubleeq :: Int -> Int -> Bool
  28 const.ShouldSucceed.Eq2.Int.doubleeq
  29     x.r31 y.r32
  30             = True
  31 AbsBinds
  32 [a.t15]
  33 [d.ShouldSucceed.Eq2.t16, d.ShouldSucceed.Ord2.t17]
  34 [(d.ShouldSucceed.Eq2.t18, dfun.ShouldSucceed.Eq2.List)]
  35     {- rec -}
  36     d.ShouldSucceed.Eq2.t18 = ({-dict-} [] [doubleeq.t19])
  37     doubleeq.t19 :: [a.t15] -> [a.t15] -> Bool
  38     doubleeq.t19
  39         xs.r34 ys.r35
  40                 = True
  41 {- rec -}
  42 dfun.ShouldSucceed.Ord2.Int =
  43     ({-dict-} [d.ShouldSucceed.Eq2.t22] [const.ShouldSucceed.Ord2.Int.lt])
  44 const.ShouldSucceed.Ord2.Int.lt :: Int -> Int -> Bool
  45 const.ShouldSucceed.Ord2.Int.lt
  46     x.r54 y.r55
  47             = True
  48 d.ShouldSucceed.Eq2.t22 = dfun.ShouldSucceed.Eq2.Int
  49 AbsBinds
  50 [tt6, ot3]
  51 [d.Num.t9, d.ShouldSucceed.Ord2.t12]
  52 [(f.t1, ShouldSucceed.f)]
  53     (d.ShouldSucceed.Eq2.t11,
  54         sdsel.ShouldSucceed.Ord2.ShouldSucceed.Eq2 tt6 d.ShouldSucceed.Ord2.t12)
  55     (fromInt.t8, fromInt tt6 d.Num.t9)
  56     (lit.t7, fromInt.t8 (MkInt 1#))
  57     (d.ShouldSucceed.Eq2.t10,
  58         dfun.ShouldSucceed.Eq2.List tt6
  59             [d.ShouldSucceed.Eq2.t11, d.ShouldSucceed.Ord2.t12])
  60     (ShouldSucceed.Eq2.doubleeq.t5,
  61         ShouldSucceed.Eq2.doubleeq [tt6] d.ShouldSucceed.Eq2.t10)
  62     {- nonrec -}
  63     f.t1 :: [tt6] -> ot3 -> Bool
  64     f.t1 x.r65 y.r66
  65                  = ShouldSucceed.Eq2.doubleeq.t5 x.r65 ([lit.t7] (tt6))
  66