1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1 302
4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
6 PrelBase 1 :: $dEq0 1 $dEqBool0 1 $dEqInt0 1 $dEval0 1 $dEval2 1 $dEvalBool0 1 $dEvalDouble0 1 $dEvalInt0 1 $m/= 1 not 1 Eq 1 Eval 1;
7 PrelNum 1 :: $dEqDouble0 1;
9 ShouldSucceed B(X Y) T(D C);
11 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} = $dEqB0;
12 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} = $dEqT0;
13 instance _forall_ [a] => {PrelBase.Eval (B a)} = $dEvalB0;
14 instance _forall_ [a] => {PrelBase.Eval (T a)} = $dEvalT0;
16 1 $dEqB0 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} ;;
17 1 $dEqT0 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} ;;
18 1 $dEvalB0 _:_ _forall_ [a] => {PrelBase.Eval (B a)} ;;
19 1 $dEvalT0 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
20 1 data B b = X | Y b ;
21 1 data T a = D (B a) | C ;