Skip to content

Comments

Linted brig.#2420

Merged
elland merged 1 commit intodevelopfrom
lint-brig
May 25, 2022
Merged

Linted brig.#2420
elland merged 1 commit intodevelopfrom
lint-brig

Conversation

@elland
Copy link
Contributor

@elland elland commented May 23, 2022

Mostly s/return/pure, but a few interesting suggestions hidden in between.

@elland elland temporarily deployed to cachix May 23, 2022 11:58 Inactive
@elland elland marked this pull request as ready for review May 25, 2022 13:18
Copy link
Member

@jschaul jschaul left a comment

Choose a reason for hiding this comment

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

The return->pure change is really annoying to review, as it's one big commit. Personally I don't see the benefit of replacing return with pure, but I don't want to bikeshed too much. This changeset is fine, feel free to merge.

Base automatically changed from hlint-stern to develop May 25, 2022 17:38
@elland elland merged commit 97286de into develop May 25, 2022
@elland elland deleted the lint-brig branch May 25, 2022 17:38
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