1. 21 Oct, 2020 2 commits
  2. 20 Oct, 2020 12 commits
  3. 23 Sep, 2020 3 commits
  4. 12 Sep, 2020 3 commits
  5. 23 Jul, 2020 2 commits
  6. 21 Jul, 2020 1 commit
  7. 18 Jul, 2020 2 commits
  8. 15 Jul, 2020 2 commits
  9. 14 Jul, 2020 8 commits
  10. 13 Jul, 2020 2 commits
  11. 12 Jul, 2020 2 commits
  12. 06 Jul, 2020 1 commit
    • Fredrik Wieczerkowski's avatar
      Re-apply 'fix-guarded-wildcard-case-warnings' · d3c59c2b
      Fredrik Wieczerkowski authored
      - Find case/function guards in WarnCheck
      - Find case and function guards and pass them into 'checkPatternMatching'.
        This allows for more fine-grained exhaustion/overlap-checks.
      - Process guarded wildcards as non-exhaustive in WarnCheck
      - Treat guarded equations with a wildcard pattern as non-exhaustive
        (continue processing the rest of the equations).
      - Apply basic heuristic to check whether guard is always true in WarnCheck
      - When checking whether a case arm is reachable, consider wildcard
        patterns with a guard containing 'True', 'success' or 'otherwise' to be
        exhaustive.
      - Process guards with 'success' or 'otherwise' correctly in WarnCheck
      - Emit warning correctly for multi-guard case branches
      - Consider case branches where any guard is always true to be
        exhaustive.
      d3c59c2b