1. 23 Jul, 2020 2 commits
  2. 18 Jul, 2020 2 commits
  3. 15 Jul, 2020 2 commits
  4. 14 Jul, 2020 8 commits
  5. 13 Jul, 2020 2 commits
  6. 12 Jul, 2020 2 commits
  7. 06 Jul, 2020 4 commits
    • 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
    • Fredrik Wieczerkowski's avatar
      Re-apply 'pretty-unreachability-warnings' · 0a56f7d4
      Fredrik Wieczerkowski authored
      - Pretty-print case branches in unreachability warnings
      - Print the right-hand-side expression of case branches if they are
      unreachable. Currently only for identifiers.
      - Use zero-based indexing when counting overlapping patterns
      - Pretty-print literals and use '->' arrow in unreachability warnings
      - Print '->' correctly in unreachable case branch with guard
      - Refer to case position in warnings (instead of the first branch)
      - Provide accurate branch positions for case warnings
      - Revert pretty-printing of case branches in warnings
      
      Also, report the line number of the first (rather than the last)
      unreachable branch.
      0a56f7d4
    • Fredrik Wieczerkowski's avatar
    • Fredrik Wieczerkowski's avatar
  8. 01 Apr, 2020 1 commit
  9. 28 Feb, 2020 1 commit
  10. 26 Feb, 2020 1 commit
  11. 18 Feb, 2020 2 commits
  12. 10 Feb, 2020 5 commits
  13. 04 Feb, 2020 4 commits
  14. 03 Feb, 2020 3 commits
  15. 31 Jan, 2020 1 commit