T21479.stderr\should_fail\patsyn\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/patsyn/should_fail/T21479.stderr

blob: dc6677580dbc107f95ef9c8eaeeeed3a5f24817e (plain)


T21479.hs:13:1: error: [GHC-16220]
    • Uninferrable type variable a0 in
      the provided context: (a0 :: *) ~ (Int :: *)
    • In the declaration for pattern synonym ‘T1’