New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: Try using older version of ghc-source-gen #228

Merged

varungandhi-src merged 1 commit into main from vg/pin-dep

Dec 25, 2023

Contributor

varungandhi-src commented Dec 25, 2023 •

edited

Loading

There seems to be a build failure with ghc-source-gen-0.4.4.0 when
using GHC 8.10, so attempt to tell cabal to use an older version.

 src/GHC/SourceGen/Module.hs:191:41: error:
Error:     Variable not in scope: unqual :: OccNameStr -> RdrNameStr
    |
191 |                     (map (wrappedName . unqual) cs)
    |                                         ^^^^^^
Error: cabal: Failed to build ghc-source-gen-0.4.4.0 (which is required by
exe:proto-lens-protoc from proto-lens-protoc-0.7.1.1). See the build log above
for details.

Source: https://github.com/sourcegraph/scip/actions/runs/7322644181/job/19944384186?pr=226

Test plan

CI passes


          ci: Try using older version of ghc-source-gen

d405099

varungandhi-src merged commit 67e7820 into main

7 checks passed

varungandhi-src deleted the vg/pin-dep branch

December 25, 2023 15:29

varungandhi-src mentioned this pull request

Include diagnostics in snapshot output #226

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet