ghc/tests/typecheck/should_compile/tc051.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], $d1{-rlY,x-}, d.Ord'_alb)]
   6     d.Eq'_alg = $d3{-rm0,x-}
   7     AbsBinds [] [] [([], lt_am2, lt_alf)]
   8         lt_alf x_r3j y_r3k = PrelBase.True{-5E,w-}{i}
   9     d.Ord'_alb = ({-dict-} [d.Eq'_alg] [lt_am2])
  10 AbsBinds [taly] [d.Eq'_alB] [([taly], $d2{-rlZ,x-}, d.Eq'_alr)]
  11     AbsBinds [] [] [([], doubleeq_am3, doubleeq_alv)]
  12         doubleeq_alv x_r3s y_r3t = PrelBase.True{-5E,w-}{i}
  13     d.Eq'_alr = ({-dict-} [] [doubleeq_am3])
  14 AbsBinds [] [] [([], $d3{-rm0,x-}, d.Eq'_alI)]
  15     AbsBinds [] [] [([], doubleeq_am4, doubleeq_alM)]
  16         doubleeq_alM x_r3z y_r3A = PrelBase.True{-5E,w-}{i}
  17     d.Eq'_alI = ({-dict-} [] [doubleeq_am4])
  18 scsel_Ord'ShouldSucceedEq'{-am1,x-} =
  19     _/\_ t12 -> \ tpl_B1 ->
  20         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  21 lt{-r3J,x-} =
  22     _/\_ t12 -> \ tpl_B1 ->
  23         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  24 AbsBinds [talW] [d.Ord'_alS] []
  25 doubleeq{-r3I,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  26 AbsBinds [talX] [d.Eq'_alV] []
  27 ghc: module version changed to 1; reason: no old .hi file
  28 _interface_ ShouldSucceed 1
  29 _instance_modules_
  30 ArrBase IO PrelNum
  31 _exports_
  32 ShouldSucceed Eq'(doubleeq) Ord'(lt);
  33 _instances_
  34 instance {Ord' PrelBase.Int} = $d1;
  35 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d2;
  36 instance {Eq' PrelBase.Int} = $d3;
  37 _declarations_
  38 1 $d1 _:_ {Ord' PrelBase.Int} ;;
  39 1 $d2 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
  40 1 $d3 _:_ {Eq' PrelBase.Int} ;;
  41 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
  42 1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;