ghc/tests/typecheck/should_compile/tc086.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed Group Ring;
   4 _declarations_
   5 1 $m* _:_ _forall_ [$a] {Ring $a} => $a -> $a -> $a ;;
   6 1 $mone _:_ _forall_ [$a] {Group $a} => $a ;;
   7 1 $mzero _:_ _forall_ [$a] {Group $a} => $a ;;
   8 1 class Group $r7i where {one = :: $r7i; zero = :: $r7i; - :: $r7i -> $r7i -> $r7i; + :: $r7i -> $r7i -> $r7i; fromInteger :: PrelBase.Integer -> $r7i; compare :: $r7i -> $r7i -> PrelBase.Ordering} ;
   9 1 class {Group $r6Z}  => Ring $r6Z where {* = :: $r6Z -> $r6Z -> $r6Z} ;