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

   1
   2 tc056.hs:13:warning:
   3     Duplicate class assertion `[(`Eq'',
   4                                     `a'),
   5                                 (`Eq'',
   6                                     `a')]' in context:
   7         [(`Eq'',
   8              `a'),
   9          (`Eq'',
  10              `a')]
  11
  12
  13 --================================================================================
  14 Typechecked:
  15 {- nonrec -}
  16 scsel_Ord'ShouldSucceedEq'{-aID,x-} =
  17     _/\_ a{-r3D-} -> \ tpl_B1 ->
  18         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  19 lt{-r3J,x-} =
  20     _/\_ a{-r3D-} -> \ tpl_B1 ->
  21         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  22 {- nonrec -}
  23 AbsBinds
  24 [a{-aIr-}]
  25 [d.Ord'_aIk]
  26 [([a{-aIr-}], $mlt{-rHo,x-}, lt_aIm)]
  27     AbsBinds [] [] [([], lt_aIm, lt_aIo)]
  28         lt_aIo
  29             =   GHCerr.noDefaultMethodError{-8k,p-}
  30                     (a{-aIr-}
  31                      -> a{-aIr-}
  32                      -> PrelBase.Bool{-34,p-}) "Class Ord' Method lt"
  33 {- nonrec -}
  34 doubleeq{-r3L,x-} =
  35     _/\_ a{-r3H-} -> \ tpl_B1 ->
  36         tpl_B1
  37 {- nonrec -}
  38 AbsBinds
  39 [a{-aIC-}]
  40 [d.Eq'_aIv]
  41 [([a{-aIC-}], $mdoubleeq{-rHp,x-}, doubleeq_aIx)]
  42     AbsBinds [] [] [([], doubleeq_aIx, doubleeq_aIz)]
  43         doubleeq_aIz
  44             =   GHCerr.noDefaultMethodError{-8k,p-}
  45                     (a{-aIC-}
  46                      -> a{-aIC-}
  47                      -> PrelBase.Bool{-34,p-}) "Class Eq' Method doubleeq"
  48 {- rec -}
  49 AbsBinds
  50 [a{-aHZ-}]
  51 [d.Eq'_aI2, d.Eq'_aI3]
  52 [([a{-aHZ-}], $d1{-rIE,x-}, d.Eq'_aHT)]
  53     AbsBinds [] [] [([], doubleeq_aIF, doubleeq_aHW)]
  54         doubleeq_aHW
  55             x_r3q y_r3s
  56                     =   PrelBase.True{-5E,p-}{i}
  57     d.Eq'_aHT =
  58         ({-dict-} [] [doubleeq_aIF])
  59 {- rec -}
  60 AbsBinds [] [] [([], $d2{-rIG,x-}, d.Eq'_aIb)]
  61     AbsBinds [] [] [([], doubleeq_aIH, doubleeq_aIe)]
  62         doubleeq_aIe
  63             x_r3y y_r3A
  64                     =   PrelBase.True{-5E,p-}{i}
  65     d.Eq'_aIb =
  66         ({-dict-} [] [doubleeq_aIH])
  67 {- nonrec -}
  68 {- nonrec -}
  69 AbsBinds
  70 [t{-aHA-}, t{-aHF-}]
  71 [d.Eq'_aHJ, d.Num_aHN]
  72 [([t{-aHA-}, t{-aHF-}], f{-r3I,x-}, f_aHn)]
  73     d.Eq'_aHK =
  74         d.Eq'_aHJ
  75     d.Eq'_aHH =
  76         $d1{-rIE,x-}
  77             t{-aHA-}
  78             [d.Eq'_aHJ, d.Eq'_aHK]
  79     doubleeq_aIK =
  80         doubleeq{-r3L,x-}
  81             [t{-aHA-}]
  82             d.Eq'_aHH
  83     fromInt_aIJ =
  84         PrelBase.fromInt{-8R,p-}
  85             t{-aHA-}
  86             d.Num_aHN
  87     lit_aII =
  88         fromInt_aIJ PrelBase.I#{-5b,p-}{i} 1#
  89     f_aHn
  90         x_r3h y_r3j
  91                 =   doubleeq_aIK x_r3h [lit_aII] (t{-aHA-})
  92 {- nonrec -}
  93 ghc: module version changed to 1; reason: no old .hi file
  94 _interface_ ShouldSucceed 1
  95 _instance_modules_
  96 ArrBase IO PrelNum
  97 _usages_
  98 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;
  99 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
 100 _exports_
 101 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
 102 _instances_
 103 instance _forall_ [a] {Eq' a, Eq' a} => {Eq' [a]} = $d1;
 104 instance {Eq' PrelBase.Int} = $d2;
 105 _declarations_
 106 1 $d1 _:_ _forall_ [a] {Eq' a, Eq' a} => {Eq' [a]} ;;
 107 1 $d2 _:_ {Eq' PrelBase.Int} ;;
 108 1 $mdoubleeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
 109 1 $mlt _:_ _forall_ [a] {Ord' a} => a -> a -> PrelBase.Bool ;;
 110 1 class Eq' r3H where {doubleeq :: r3H -> r3H -> PrelBase.Bool} ;
 111 1 class {Eq' r3D} => Ord' r3D where {lt :: r3D -> r3D -> PrelBase.Bool} ;
 112 1 f _:_ _forall_ [a b] {Eq' a, PrelBase.Num a} => [a] -> b -> PrelBase.Bool ;;