TyAppPat_NonlinearMultiAppPat.stderr\should_fail\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiAppPat.stderr

blob: 4b891df79783ebd2b0f0f3a0ed91134a9831ec52 (plain)


TyAppPat_NonlinearMultiAppPat.hs:12:6: error:
    Type variable ‘a’ is already in scope.
    Type applications in patterns must bind fresh variables, without shadowing.