Skip to content

Migrate imports of foldl' for ghc 9.10+#3146

Merged
sauclovian-g merged 2 commits intomasterfrom
foldl-migration
Apr 8, 2026
Merged

Migrate imports of foldl' for ghc 9.10+#3146
sauclovian-g merged 2 commits intomasterfrom
foldl-migration

Conversation

@sauclovian-g
Copy link
Copy Markdown
Contributor

As suggested by:
https://discourse.haskell.org/t/prelude-foldl-migration-guide/6950

Test-built on #2973, but may as well get merged right away.

Comment thread saw-core/src/SAWCore/SharedTerm.hs Outdated
Comment on lines +277 to +279
-- XXX: why do we need to hide maximum? the word does not appear in
-- this file except in comments...
import Prelude hiding (Foldable(..), maximum)
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

I think this is a leftover from back when SAW supported a much earlier version of GHC that defined separate maximum functions in the Prelude vs Data.Foldable. Now that both functions are the same, we could likely drop the hiding (maximum) bit.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Good to know, I'll dump it.

@sauclovian-g
Copy link
Copy Markdown
Contributor Author

(rebased on head)

@sauclovian-g sauclovian-g merged commit 749773c into master Apr 8, 2026
37 checks passed
@sauclovian-g sauclovian-g deleted the foldl-migration branch April 8, 2026 23:59
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.

2 participants