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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_Ord'ShouldSucceedEq'{-aIr,x-} =
   7     _/\_ a{-r3B-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 lt{-r3I,x-} =
  10     _/\_ a{-r3B-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aIf-}]
  15 [d.Ord'_aI8]
  16 [([a{-aIf-}], $mlt{-rHm,x-}, lt_aIa)]
  17     AbsBinds [] [] [([], lt_aIa, lt_aIc)]
  18         lt_aIc
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aIf-}
  21                      -> a{-aIf-}
  22                      -> PrelBase.Bool{-34,p-}) "Class Ord' Method lt"
  23 {- nonrec -}
  24 doubleeq{-r3K,x-} =
  25     _/\_ a{-r3G-} -> \ tpl_B1 ->
  26         tpl_B1
  27 {- nonrec -}
  28 AbsBinds
  29 [a{-aIq-}]
  30 [d.Eq'_aIj]
  31 [([a{-aIq-}], $mdoubleeq{-rHn,x-}, doubleeq_aIl)]
  32     AbsBinds [] [] [([], doubleeq_aIl, doubleeq_aIn)]
  33         doubleeq_aIn
  34             =   GHCerr.noDefaultMethodError{-8k,p-}
  35                     (a{-aIq-}
  36                      -> a{-aIq-}
  37                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method doubleeq"
  38 {- rec -}
  39 AbsBinds [] [] [([], $d1{-rIs,x-}, d.Ord'_aHL)]
  40     d.Eq'_aHP =
  41         $d2{-rIu,x-}
  42     AbsBinds [] [] [([], lt_aIt, lt_aHO)]
  43         lt_aHO
  44             x_r3o y_r3q
  45                     =   PrelBase.True{-5E,p-}{i}
  46     d.Ord'_aHL =
  47         ({-dict-} [d.Eq'_aHP] [lt_aIt])
  48 {- rec -}
  49 AbsBinds [] [] [([], $d2{-rIu,x-}, d.Eq'_aHZ)]
  50     AbsBinds [] [] [([], doubleeq_aIv, doubleeq_aI2)]
  51         doubleeq_aI2
  52             x_r3w y_r3y
  53                     =   PrelBase.True{-5E,p-}{i}
  54     d.Eq'_aHZ =
  55         ({-dict-} [] [doubleeq_aIv])
  56 {- nonrec -}
  57 {- nonrec -}
  58 AbsBinds
  59 [t{-aHw-}, t{-aHB-}]
  60 [d.Ord'_aHD, d.Num_aHG]
  61 [([t{-aHw-}, t{-aHB-}], f{-r3H,x-}, f_aHl)]
  62     lt_aIy =
  63         lt{-r3I,x-}
  64             t{-aHw-}
  65             d.Ord'_aHD
  66     fromInt_aIx =
  67         PrelBase.fromInt{-8R,p-}
  68             t{-aHw-}
  69             d.Num_aHG
  70     lit_aIw =
  71         fromInt_aIx PrelBase.I#{-5b,p-}{i} 1#
  72     f_aHl
  73         x_r3h y_r3j
  74                 | [lt_aIy x_r3h lit_aIw] =
  75                     PrelBase.True{-5E,p-}{i}
  76                 | [PrelBase.otherwise{-818,p-}] =
  77                     PrelBase.False{-58,p-}{i}
  78 {- nonrec -}
  79 ghc: module version changed to 1; reason: no old .hi file
  80 _interface_ ShouldSucceed 1
  81 _instance_modules_
  82 ArrBase IO PrelNum
  83 _usages_
  84 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 otherwise 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  85 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  86 _exports_
  87 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
  88 _instances_
  89 instance {Ord' PrelBase.Int} = $d1;
  90 instance {Eq' PrelBase.Int} = $d2;
  91 _declarations_
  92 1 $d1 _:_ {Ord' PrelBase.Int} ;;
  93 1 $d2 _:_ {Eq' PrelBase.Int} ;;
  94 1 $mdoubleeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
  95 1 $mlt _:_ _forall_ [a] {Ord' a} => a -> a -> PrelBase.Bool ;;
  96 1 class Eq' r3G where {doubleeq :: r3G -> r3G -> PrelBase.Bool} ;
  97 1 class {Eq' r3B} => Ord' r3B where {lt :: r3B -> r3B -> PrelBase.Bool} ;
  98 1 f _:_ _forall_ [a b] {Ord' a, PrelBase.Num a} => a -> b -> PrelBase.Bool ;;