Skip to content

Make work stack-9.2.1.yaml and enable pedantic (-WError) for cabal #2606

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.

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

Merged
merged 54 commits into from
Jan 20, 2022

Conversation

jneira
Copy link
Member

@jneira jneira commented Jan 19, 2022

  • Going deeper underground:
  1. Make stack build work for ghc-9.2.1
  2. It turns out that it has enable pedantic for the hls packahe so i had to fix somewarnins in func-test
  3. I remembered @michaelpj and me talked about make consistent the use of the flag
  4. Enable the flag for the default cabal build
  5. Fix a good bunch of warning everywhere 😆 , several of them in tactics

@jneira
Copy link
Member Author

jneira commented Jan 19, 2022

@jneira jneira force-pushed the stack-ghc-9.2.1 branch 4 times, most recently from 6960a88 to 673c032 Compare January 20, 2022 07:56
@jneira
Copy link
Member Author

jneira commented Jan 20, 2022

I am trying to fix the build release workflow here and i am afraid we have a new dependency which needs integer-gmp. As we are building the binaries for linux with alpine where some ghcs are using integer-simple, the build fails:

Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: ghcide-1.5.0.1 (user goal)
[__1] trying: lsp-types-1.4.0.0 (dependency of ghcide)
[__2] trying: mod-0.1.2.2 (dependency of lsp-types)
[__3] next goal: integer-gmp (dependency of mod)
[__3] rejecting: integer-gmp-1.0.3.0, integer-gmp-1.0.2.0,
integer-gmp-1.0.1.0, integer-gmp-1.0.0.1, integer-gmp-1.0.0.0,
integer-gmp-0.5.1.0 (only already installed instances can be used)
[__3] fail (backjumping, conflict set: integer-gmp, mod)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: base, ghcide, integer-gmp, lsp-types,
mod

afaics mod has no flag to switch to integer-simple like we are doing for blaze-textual

//cc @michaelpj @Bodigrim

@michaelpj
Copy link
Collaborator

I suggest we leave the integer-simple issue for another PR since this is getting big.

# we have to clean up warnings for 9.0 and 9.2 before enable -WAll
- if: matrix.ghc != '9.0.2' && matrix.ghc != '9.2.1'
name: Build with pedantic (-WError)
run: cabal v2-build --flags="pedantic"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This will rebuild everything, I think? do we want that? seems like it'll make the workflow slow. Maybe it's okay.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

only local packages (as --flags only affect them), even the ones without the flag as we have one package in the root of the local dependency tree with the flag available

@jneira
Copy link
Member Author

jneira commented Jan 20, 2022

I suggest we leave the integer-simple issue for another PR since this is getting big.

yeah i've already accumulated too many things here

@jneira
Copy link
Member Author

jneira commented Jan 20, 2022

@michaelpj it is the pr ok to merge (ignoring fo now the release build failure)?

@michaelpj michaelpj added the merge me Label to trigger pull request merge label Jan 20, 2022
@mergify mergify bot merged commit 2558035 into haskell:master Jan 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants