1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
4 Addr ArrBase Foreign IO PrelBounded PrelNum
6 PrelBase 1 :: $d2 1 $d29 1 $d31 1 $d33 1 $d38 1 Eval 1;
8 ShouldSucceed g Reps(f) X(Tag);
10 instance {Reps PrelBase.Bool} = $d1;
11 instance _forall_ [q] => {Reps (X q)} = $d2;
12 instance _forall_ [a] => {PrelBase.Eval (X a)} = $d3;
14 1 $d1 _:_ {Reps PrelBase.Bool} ;;
15 1 $d2 _:_ _forall_ [q] => {Reps (X q)} ;;
16 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (X a)} ;;
17 1 class Reps r where {f :: r -> r -> r} ;
19 1 g _:_ _forall_ [ta] {Reps ta} => ta -> ta ;;