[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc011.stderr

__export ShouldSucceed x;
1 x :: __forall [t] => t ;