Ticket #1579 (new proposed-project)
Implement overlap and exhaustiveness checking for pattern matching
|Reported by:||euschn||Owned by:|
Description (last modified by bross279) (diff)
GHC's current checker for overlaps and exhaustiveness patterns is in need of an overhaul. There are several bugs and missing features. For example, GADTs are not taken into account.
The project would involve the analysis of the current implementation, specification of bugs and desired features, design and implementation of an improved checker.
The project is mentioned on:
- Eugen Jiresch ( e0204097(_atsign_)student.tuwien.ac.at )
- Saurabh Kumar ( saurabh.catch@… )
- Ben Ross (benjross@…)