diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-08-13 04:43:45 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | d78fab16c93073b1ccbd81f62052779e0de6613f (patch) | |
| tree | 6412c8c798d543a19122d0da6dd0d1725057db59 /scripts/ci | |
| parent | 2ccb986eb87c26693b4246dec7702e05f636bc95 (diff) | |
ghc-session: Use new project building API
One caveat: psiConfigure used to --only-configure the entire project. In
theory we shouldn't even need to do that anymore because we reconfigure
just the unit/target we need to before reading unit info.
However cabal has a bug or well they might consider it just inconsistent
behaviour in that instantiated backpack units' targets are not built by the
target mentioned in plan.json so this per-unit reconfigure is currently
broken there.
The workaround is to just build the entire project before running a query
for now.
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions