Skip to content

Conversation

@brianhuffman
Copy link
Contributor

Unnecessary GHC LANGUAGE pragmas are removed in the following packages:

  • saw-core
  • saw-core-what4
  • saw-core-sbv
  • saw-core-aig
  • saw-core-coq
  • cryptol-saw-core
  • saw-central
  • saw-script

Copy link
Contributor

@sauclovian-g sauclovian-g left a comment

Choose a reason for hiding this comment

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

Wow, that's a lot.

I'd just put back -Wno-orphans for the one that broke; we can attend to the orphans later.

@brianhuffman
Copy link
Contributor Author

Oh, that's weird; everything compiled just fine on my machine with that -Wno-orphans pragma removed. Probably a GHC versions thing. No problem, I'll put it back in.

@sauclovian-g
Copy link
Contributor

It only failed on 9.8, so I guess the orphans in question otherwise go unnoticed

@brianhuffman brianhuffman merged commit 213f9ed into master Oct 30, 2025
37 checks passed
@brianhuffman brianhuffman deleted the bh/minimize-pragmas branch October 30, 2025 02:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants