Skip to content
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

GHC 964 Fixes #5106

Merged
merged 9 commits into from
Jun 25, 2024
Merged

GHC 964 Fixes #5106

merged 9 commits into from
Jun 25, 2024

Conversation

neduard
Copy link
Contributor

@neduard neduard commented Jun 18, 2024

Overview

Follow-up from #5096 . This PR should contain only non-breaking and hence compile with the current supported GHC version 9.2.8.

No functional changes.

Tests

NOTE: I haven't tested it yet with stack - will add comment later

For testing with GHC 964, I applied the additional changes in the above PR as this PR alone won't compile due to package updates introducing non-backward-compatible changes. I then ran cabal v2-test all and cabal run transcripts: ✅ 276 tests passed, no failures! 👍 🎉

Loose ends

For testing, I've had also had to pin lsp == 2.2.0.0 , servant <= 0.20.1 (currently it is <= 0.19.1).

* trivial additions of functor
* limit imports to just used functions
* remove unnecesary imports
@neduard neduard force-pushed the ghc-964-updates-part-1 branch 2 times, most recently from a97106f to 4338758 Compare June 25, 2024 08:27
@neduard neduard force-pushed the ghc-964-updates-part-1 branch from 4338758 to 4453fda Compare June 25, 2024 09:06
@@ -22,6 +22,12 @@ type Referent' t h = Referent.Referent' (Reference' t h) (Reference' t h)
data TermEdit' t h = Replace (Referent' t h) Typing | Deprecate
deriving (Eq, Ord, Show)

instance Functor (TermEdit' t) where
Copy link
Contributor

@ChrisPenner ChrisPenner Jun 25, 2024

Choose a reason for hiding this comment

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

Can this instance not be derived? If not I'm curious why :)

Nevermind, saw the discussion in the prior PR, I'd guess it's due to the use of a type alias rather than a concrete type in the data definition.

Copy link
Contributor

@ChrisPenner ChrisPenner left a comment

Choose a reason for hiding this comment

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

This is fantastic, thanks for this!

My only question would be what prompted the addition of all the Functor instances, I can't see them being used anywhere 🤔
Ah, seems it's now a requirement to implement Bifunctor.

This all looks good to me 😎

@ChrisPenner ChrisPenner requested a review from aryairani June 25, 2024 17:39
@aryairani aryairani merged commit 769cbbd into unisonweb:trunk Jun 25, 2024
1 check passed
@neduard neduard deleted the ghc-964-updates-part-1 branch July 18, 2024 11:04
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