[project @ 1999-05-12 12:23:53 by keithw]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc086.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 __export ShouldSucceed Group Ring;
3 1 class Group a where {one = :: a; zzero = :: a; zm :: a -> a -> a; zp :: a -> a -> a; fromInteger :: PrelBase.Integer -> a; compare :: a -> a -> PrelBase.Ordering} ;
4 1 class {Group a}  => Ring a where {zt = :: a -> a -> a} ;
5 1 zddmone :: __forall [a] => {Group a} -> a ;
6 1 zddmzt :: __forall [a] => {Ring a} -> a -> a -> a ;
7 1 zddmzzero :: __forall [a] => {Group a} -> a ;