83dea7291dbdc9c8ee1feab003eca8621b0c10e8
[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 ;