2a6812182d90bb89d4e0590d9da55fc35ba39da9
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc047.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
3 _instance_modules_
4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
5 _exports_
6 ShouldSucceed f mp sd OL;
7 _declarations_
8 1 f _:_ _forall_ [a b c] => a -> [(b, c)] -> [c] ;;
9 1 mp _:_ _forall_ [a b] => (a -> b) -> [a] -> [b] ;;
10 1 sd _:_ _forall_ [a b] => (a, b) -> b ;;
11 1 type OL a = [a] ;