Code

generalize zip on empty lists hint#1565

Code

Open

jvoigtlaender wants to merge 4 commits intondmitchell:masterndmitchell/hlint:masterfrom jvoigtlaender:zip-evaluatejvoigtlaender/hlint:zip-evaluateCopy head branch name to clipboard

+6-1

Commits

Commits on Feb 4, 2024

• generalize zip on empty lists hint

  jvoigtlaender

  committed
  aa65231

• escape list brackets in side condition

  jvoigtlaender

  committed
  e67e501

Commits on Feb 5, 2024

• refine the use of side conditions

  jvoigtlaender

  committed
  d610ce2

Commits on Aug 26, 2024

• eliminate isNonEmpty conditions

  jvoigtlaender

  committed
  b0805d5