ghc/tests/typecheck/should_compile/tc056.stderr

   1
   2 tc056.hs:15: Warning:
   3     Duplicate class assertion `Eq' a' in the context: (Eq' a, Eq' a) =>
   4
   5 ghc: module version changed to 1; reason: no old .hi file
   6 _exports_
   7 ShouldSucceed f Eq'{:Eq' :Eq' doubleeq} Ord'{:Ord' :Ord' lt};
   8 _instances_
   9 instance _forall_ [$a] {Eq' $a, Eq' $a} => {Eq' [$a]} = $dEq'0;
  10 instance {Eq' PrelBase.Int} = $dEq'Int0;
  11 _declarations_
  12 1 $dEq'0 _:_ _forall_ [$a] {Eq' $a} => {Eq' [$a]} ;;
  13 1 $dEq'Int0 _:_ {Eq' PrelBase.Int} ;;
  14 1 class Eq' $r3R where {doubleeq :: $r3R -> $r3R -> PrelBase.Bool} ;
  15 1 class {Eq' $r3O}  => Ord' $r3O where {lt :: $r3O -> $r3O -> PrelBase.Bool} ;
  16 1 f _:_ _forall_ [$a $b] {PrelBase.Num $b, Eq' [$b]} => [$b] -> $a -> PrelBase.Bool ;;