GitLab

Update the readme file

Closes #91

See merge request !27

Instead, link to the (actively maintained) issues page on the GitLab.

Emit correct locations for warnings about unreachable case branches

Closes #84

See merge request !22

Also, report the line number of the first (rather than the last)
unreachable branch.

Print the right-hand-side expression of case branches if they are
unreachable. Currently only for identifiers.

See merge request !21. Fixes !16.

Consider case branches where any guard is always true to be
exhaustive.

When checking whether a case arm is reachable, consider wildcard
patterns with a guard containing 'True', 'success' or 'otherwise' to be
exhaustive.

Treat guarded equations with a wildcard pattern as non-exhaustive
(continue processing the rest of the equations).

Find case and function guards and pass them into 'checkPatternMatching'.
This allows for more fine-grained exhaustion/overlap-checks.

Gitignore Cabal's sandbox environment files.

Gitignore editor-specific configuration files from Visual Studio Code.

Add Kind information to explicitly bound type variables

See merge request !20