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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 scsel_Ord'ShouldSucceedEq'{-aoN,x-} =
   7     _/\_ a{-r3G-} -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
   9 lt{-r3L,x-} =
  10     _/\_ a{-r3G-} -> \ tpl_B1 ->
  11         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  12 {- nonrec -}
  13 AbsBinds
  14 [a{-aoB-}]
  15 [d.Ord'_aou]
  16 [([a{-aoB-}], $mlt{-roO,x-}, lt_aow)]
  17     AbsBinds [] [] [([], lt_aow, lt_aoy)]
  18         lt_aoy
  19             =   GHCerr.noDefaultMethodError{-8k,p-}
  20                     (a{-aoB-}
  21                      -> a{-aoB-}
  22                      -> PrelBase.Bool{-34,p-}) "Class Ord' Method lt"
  23 {- nonrec -}
  24 doubleeq{-r3N,x-} =
  25     _/\_ a{-r3K-} -> \ tpl_B1 ->
  26         tpl_B1
  27 {- nonrec -}
  28 AbsBinds
  29 [a{-aoM-}]
  30 [d.Eq'_aoF]
  31 [([a{-aoM-}], $mdoubleeq{-roP,x-}, doubleeq_aoH)]
  32     AbsBinds [] [] [([], doubleeq_aoH, doubleeq_aoJ)]
  33         doubleeq_aoJ
  34             =   GHCerr.noDefaultMethodError{-8k,p-}
  35                     (a{-aoM-}
  36                      -> a{-aoM-}
  37                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method doubleeq"
  38 {- rec -}
  39 AbsBinds [] [] [([], $d1{-roQ,x-}, d.Ord'_anQ)]
  40     d.Eq'_anU =
  41         $d3{-roS,x-}
  42     AbsBinds [] [] [([], lt_aoR, lt_anT)]
  43         lt_anT
  44             x_r3j y_r3l
  45                     =   PrelBase.True{-5E,p-}{i}
  46     d.Ord'_anQ =
  47         ({-dict-} [d.Eq'_anU] [lt_aoR])
  48 {- rec -}
  49 AbsBinds
  50 [a{-aob-}]
  51 [d.Eq'_aoe]
  52 [([a{-aob-}], $d2{-roT,x-}, d.Eq'_ao5)]
  53     AbsBinds [] [] [([], doubleeq_aoU, doubleeq_ao8)]
  54         doubleeq_ao8
  55             x_r3t y_r3v
  56                     =   PrelBase.True{-5E,p-}{i}
  57     d.Eq'_ao5 =
  58         ({-dict-} [] [doubleeq_aoU])
  59 {- rec -}
  60 AbsBinds [] [] [([], $d3{-roS,x-}, d.Eq'_aol)]
  61     AbsBinds [] [] [([], doubleeq_aoV, doubleeq_aoo)]
  62         doubleeq_aoo
  63             x_r3B y_r3D
  64                     =   PrelBase.True{-5E,p-}{i}
  65     d.Eq'_aol =
  66         ({-dict-} [] [doubleeq_aoV])
  67 {- nonrec -}
  68 ghc: module version changed to 1; reason: no old .hi file
  69 _interface_ ShouldSucceed 1
  70 _instance_modules_
  71 ArrBase IO PrelNum
  72 _exports_
  73 ShouldSucceed Eq'(doubleeq) Ord'(lt);
  74 _instances_
  75 instance {Ord' PrelBase.Int} = $d1;
  76 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d2;
  77 instance {Eq' PrelBase.Int} = $d3;
  78 _declarations_
  79 1 $d1 _:_ {Ord' PrelBase.Int} ;;
  80 1 $d2 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  81 1 $d3 _:_ {Eq' PrelBase.Int} ;;
  82 1 $mdoubleeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
  83 1 $mlt _:_ _forall_ [a] {Ord' a} => a -> a -> PrelBase.Bool ;;
  84 1 class Eq' r3K where {doubleeq :: r3K -> r3K -> PrelBase.Bool} ;
  85 1 class {Eq' r3G} => Ord' r3G where {lt :: r3G -> r3G -> PrelBase.Bool} ;