ExplicitSpecificity5.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/ExplicitSpecificity5.stderr

blob: c8fa860a57e67517595bd4e9e58bc73e519642b6 (plain)


ExplicitSpecificity5.hs:7:1: error:
    Inferred type variables are not allowed
    In an instance declaration