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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_Ord2ShouldSucceedEq2{-aJ0,x-} =
   7     _/\_ a{-r3M-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 lt{-r3S,x-} =
  10     _/\_ a{-r3M-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aIO-}]
  15 [d.Ord2_aIH]
  16 [([a{-aIO-}], $mlt{-rHw,x-}, lt_aIJ)]
  17     AbsBinds [] [] [([], lt_aIJ, lt_aIL)]
  18         lt_aIL
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aIO-}
  21                      -> a{-aIO-}
  22                      -> PrelBase.Bool{-34,p-}) "Class Ord2 Method lt"
  23 {- nonrec -}
  24 doubleeq{-r3T,x-} =
  25     _/\_ a{-r3Q-} -> \ tpl_B1 ->
  26         tpl_B1
  27 {- nonrec -}
  28 AbsBinds
  29 [a{-aIZ-}]
  30 [d.Eq2_aIS]
  31 [([a{-aIZ-}], $mdoubleeq{-rHx,x-}, doubleeq_aIU)]
  32     AbsBinds [] [] [([], doubleeq_aIU, doubleeq_aIW)]
  33         doubleeq_aIW
  34             =   GHCerr.noDefaultMethodError{-8k,p-}
  35                     (a{-aIZ-}
  36                      -> a{-aIZ-}
  37                      -> PrelBase.Bool{-34,p-}) "Class Eq2 Method doubleeq"
  38 {- rec -}
  39 AbsBinds
  40 [a{-aI8-}]
  41 [d.Eq2_aIb, d.Ord2_aIc]
  42 [([a{-aI8-}], $d1{-rJ1,x-}, d.Eq2_aI2)]
  43     AbsBinds [] [] [([], doubleeq_aJ2, doubleeq_aI5)]
  44         doubleeq_aI5
  45             xs_r3r ys_r3t
  46                     =   PrelBase.True{-5E,p-}{i}
  47     d.Eq2_aI2 =
  48         ({-dict-} [] [doubleeq_aJ2])
  49 {- rec -}
  50 AbsBinds [] [] [([], $d2{-rJ3,x-}, d.Ord2_aIk)]
  51     d.Eq2_aIo =
  52         $d3{-rJ5,x-}
  53     AbsBinds [] [] [([], lt_aJ4, lt_aIn)]
  54         lt_aIn
  55             x_r3z y_r3B
  56                     =   PrelBase.True{-5E,p-}{i}
  57     d.Ord2_aIk =
  58         ({-dict-} [d.Eq2_aIo] [lt_aJ4])
  59 {- rec -}
  60 AbsBinds [] [] [([], $d3{-rJ5,x-}, d.Eq2_aIy)]
  61     AbsBinds [] [] [([], doubleeq_aJ6, doubleeq_aIB)]
  62         doubleeq_aIB
  63             x_r3H y_r3J
  64                     =   PrelBase.True{-5E,p-}{i}
  65     d.Eq2_aIy =
  66         ({-dict-} [] [doubleeq_aJ6])
  67 {- nonrec -}
  68 {- nonrec -}
  69 AbsBinds
  70 [t{-aHI-}, t{-aHN-}]
  71 [d.Ord2_aHS, d.Num_aHV]
  72 [([t{-aHI-}, t{-aHN-}], f{-r3R,x-}, f_aHv)]
  73     d.Eq2_aHR =
  74         scsel_Ord2ShouldSucceedEq2{-aJ0,x-}
  75             t{-aHI-}
  76             d.Ord2_aHS
  77     d.Eq2_aHP =
  78         $d1{-rJ1,x-}
  79             t{-aHI-}
  80             [d.Eq2_aHR, d.Ord2_aHS]
  81     doubleeq_aJ9 =
  82         doubleeq{-r3T,x-}
  83             [t{-aHI-}]
  84             d.Eq2_aHP
  85     fromInt_aJ8 =
  86         PrelBase.fromInt{-8R,p-}
  87             t{-aHI-}
  88             d.Num_aHV
  89     lit_aJ7 =
  90         fromInt_aJ8 PrelBase.I#{-5b,p-}{i} 1#
  91     f_aHv
  92         x_r3h y_r3j
  93                 =   doubleeq_aJ9 x_r3h [lit_aJ7] (t{-aHI-})
  94 {- nonrec -}
  95 ghc: module version changed to 1; reason: no old .hi file
  96 _interface_ ShouldSucceed 1
  97 _instance_modules_
  98 ArrBase IO PrelNum
  99 _usages_
 100 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;
 101 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
 102 _exports_
 103 ShouldSucceed f Eq2(doubleeq) Ord2(lt);
 104 _instances_
 105 instance _forall_ [a] {Eq2 a, Ord2 a} => {Eq2 [a]} = $d1;
 106 instance {Ord2 PrelBase.Int} = $d2;
 107 instance {Eq2 PrelBase.Int} = $d3;
 108 _declarations_
 109 1 $d1 _:_ _forall_ [a] {Eq2 a, Ord2 a} => {Eq2 [a]} ;;
 110 1 $d2 _:_ {Ord2 PrelBase.Int} ;;
 111 1 $d3 _:_ {Eq2 PrelBase.Int} ;;
 112 1 $mdoubleeq _:_ _forall_ [a] {Eq2 a} => a -> a -> PrelBase.Bool ;;
 113 1 $mlt _:_ _forall_ [a] {Ord2 a} => a -> a -> PrelBase.Bool ;;
 114 1 class Eq2 r3Q where {doubleeq :: r3Q -> r3Q -> PrelBase.Bool} ;
 115 1 class {Eq2 r3M} => Ord2 r3M where {lt :: r3M -> r3M -> PrelBase.Bool} ;
 116 1 f _:_ _forall_ [a b] {Ord2 a, PrelBase.Num a} => [a] -> b -> PrelBase.Bool ;;