TyAppPat_NonlinearSinglePat.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_NonlinearSinglePat.stderr

blob: b25bfcde343cb33e04aeaf05e17f08e10e9e8e3f (plain)

1
2
3


TyAppPat_NonlinearSinglePat.hs:12:6: error:
    Variable `a' would be bound multiple times by a type argument.