projects / ghc-hetmet.git / blob
? search:


c010997fcc1a7388537a25524fae99e6f5642877
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc015.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 _exports_
3 ShouldSucceed u;
4 _declarations_
5 1 u _:_ _forall_ [$a $b $c] => $a -> ($b, $c) -> $a ;;
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)