[project @ 1999-01-23 17:57:35 by sof]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc054.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 __export ShouldSucceed f Eq'{doubleeq} Ord'{lt};
3 instance {Eq' PrelBase.Int} = _fEq'Int;
4 instance {Ord' PrelBase.Int} = _fOrd'Int;
5 1 _fEq'Int :: {Eq' PrelBase.Int} ;
6 1 _fOrd'Int :: {Ord' PrelBase.Int} ;
7 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
8 1 class {Eq' a}  => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;
9 1 f :: __forall [t a] {PrelBase.Num a, Ord' a} => a -> t -> PrelBase.Bool ;