Skip to content

Commit

Permalink
Merge pull request #1060 from jvoigtlaender/evaluate-append-with-empt…
Browse files Browse the repository at this point in the history
…y-list

[] is neutral element for ++
  • Loading branch information
ndmitchell authored Jun 24, 2020
2 parents c22d776 + d2a0795 commit ad16073
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions data/hlint.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -737,6 +737,8 @@
- warn: {lhs: const x y, rhs: x, name: Evaluate}
- warn: {lhs: any (const False), rhs: const False, note: IncreasesLaziness, name: Evaluate}
- warn: {lhs: all (const True), rhs: const True, note: IncreasesLaziness, name: Evaluate}
- warn: {lhs: "[] ++ x", rhs: x, name: Evaluate}
- warn: {lhs: "x ++ []", rhs: x, name: Evaluate}

# FOLDABLE + TUPLES

Expand Down

0 comments on commit ad16073

Please sign in to comment.