Skip to content
This repository has been archived by the owner on Oct 7, 2020. It is now read-only.

Upgrade to haskell-lsp 0.15 #1316

Merged
merged 4 commits into from
Jul 5, 2019
Merged

Upgrade to haskell-lsp 0.15 #1316

merged 4 commits into from
Jul 5, 2019

Conversation

lorenzo
Copy link
Collaborator

@lorenzo lorenzo commented Jul 4, 2019

No description provided.

@lorenzo lorenzo requested review from alanz, lukel97 and fendor July 4, 2019 09:07
@lorenzo lorenzo force-pushed the upgrade-lsp-0.15 branch from 2ad40ff to 09ab83a Compare July 4, 2019 11:48
Copy link
Collaborator

@lukel97 lukel97 left a comment

Choose a reason for hiding this comment

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

Other than the Diagnostics instances LGTM 👍

Diagnostics d1 <> Diagnostics d2 = Diagnostics (d1 <> d2)

instance Monoid Diagnostics where
mempty = Diagnostics mempty
Copy link
Collaborator

Choose a reason for hiding this comment

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

Can these be derived?

Copy link
Collaborator

@wz1000 wz1000 Jul 4, 2019

Choose a reason for hiding this comment

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

The default monoid instance for Map is probably not what we want. This should be Map.unionWith Set.union. the default semi group operation is leftbiased union.

Copy link
Collaborator

Choose a reason for hiding this comment

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

In any case I think ToJSON should be derivable. Although it looks like NormalizedUri has no instance for ToJSON/FromJSON. This should probably be added in haskell-lsp.

@lorenzo
Copy link
Collaborator Author

lorenzo commented Jul 5, 2019

I'll merge now, please let me know if you wanted me to take any extra actions and I'll open another pull request.

@lorenzo lorenzo merged commit 9261086 into master Jul 5, 2019
@lorenzo lorenzo deleted the upgrade-lsp-0.15 branch July 5, 2019 12:12
@alanz alanz added this to the 2019-06 milestone Jul 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants