[project @ 1999-06-09 09:35:54 by simonpj]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc063.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 __export ShouldSucceed Reps{f} X{Tag} g;
3 instance {Reps PrelBase.Bool} = zdfRepsBool;
4 instance __forall [q] => {Reps (X   q)} = zdfRepsX;
5 1 class Reps r where {f :: r -> r -> r} ;
6 1 data X a = Tag a ;
7 1 g :: __forall [r] => {Reps r} -> r -> r ;
8 1 zdfRepsBool :: {Reps PrelBase.Bool} ;
9 1 zdfRepsX :: __forall [q] => {Reps (X   q)} ;