UnsatisfiableFail2.stderr\unsatisfiable\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/unsatisfiable/UnsatisfiableFail2.stderr

blob: 04c9574f4993f7a69ebb06979087f4ab3a8f9471 (plain)


UnsatisfiableFail2.hs:15:9: error: [GHC-22250]
    • Input was False!
    • In the expression: h (Proxy @False)
      In an equation for ‘eg3’: eg3 _ = h (Proxy @False)