Skip to content

A testsuite of the GHC API for the part that Liquid Haskell uses

Facundo Domínguez requested to merge tweag/ghc:fd/lh-client-tests into master

This PR contributes a testsuite with some expectations that Liquid Haskell makes about the GHC API.

See #24096 for more context on what this PR accomplishes. Also see Note [Liquid Haskell testsuite for the GHC API] in ghc_api_liquidhaskell.hs for a short summary on how the testsuite is intended to be used.

Edited by Facundo Domínguez

Merge request reports