Merge requests · Glasgow Haskell Compiler / GHC · GitLab

PmCheck: Print types of uncovered patterns (#18932)

!4468 · created Nov 18, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 2
updated Nov 19, 2020
PmCheck: Long-distance information for LocalBinds (#18626)

!4098 · created Sep 21, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 30
updated Sep 30, 2020
PmCheck: Big refactor of module structure

!4126 · created Sep 24, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 7
updated Sep 26, 2020
PmCheck: Refactor the inhabitation test and fix unlifted fields (#18249)

!4050 · created Sep 15, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 10
updated Sep 26, 2020
Add regression tests for #18371 and #18609

!4113 · created Sep 23, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 8
updated Sep 26, 2020
PmCheck: Use guard tree variants that more closely mirror source syntax (#18565)

!3937 · created Aug 27, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 37
updated Sep 23, 2020
PmCheck: Better long-distance info for where bindings (#18533)

!3849 · created Aug 10, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 28
- Approved
updated Sep 10, 2020
Add regression test for #18478

!3729 · created Jul 20, 2020 by Sebastian Graf
compiler perf pattern match warnings
- Closed
- 3
- Approved
updated Jul 23, 2020
PmCheck: Adjust recursion depth for inhabitation test

!2993 · created Mar 30, 2020 by Sebastian Graf 8.10.2
pattern match warnings
- Closed
- 8
updated Jul 23, 2020
PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance info

!3087 · created Apr 14, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 20
updated May 01, 2020
PmCheck: Implement Long-distance information with Covered sets

!2753 · created Feb 20, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 24
- 1
- Approved
updated Apr 20, 2020
PmCheck: Use ConLikeSet to model negative info

!2904 · created Mar 17, 2020 by Sebastian Graf
pattern match warnings
- Closed
- 12
updated Mar 19, 2020
PmCheck: Formulate as translation between Clause Trees

!2192 · created Nov 18, 2019 by Sebastian Graf
pattern match warnings
- Closed
- 91
- Approved
updated Feb 27, 2020
Put COMPLETE sigs into ModDetails with -fno-code (#16682)

!1062 · created May 29, 2019 by Ryan Scott
PatternSynonyms pattern match warnings
- Closed
- 3
- Approved
updated Feb 25, 2020
8.10 Release notes for improvements to the pattern-match checker

!2565 · created Jan 27, 2020 by Sebastian Graf 8.10.1
pattern match warnings
- Closed
- 4
- Approved
updated Feb 25, 2020
Make warnings for TH splices opt-in

!2229 · created Nov 25, 2019 by Sebastian Graf 8.10.1
TemplateHaskell pattern match warnings
- Closed
- 17
- Approved
updated Feb 06, 2020
Check EmptyCase by simply adding a non-void constraint

!1975 · created Oct 18, 2019 by Sebastian Graf 8.10.1
pattern match warnings
- Closed
- 38
updated Nov 05, 2019
PmCheck: No ConLike instantiation in pmcheck

!1733 · created Sep 16, 2019 by Sebastian Graf
pattern match warnings
- Closed
- 23
updated Nov 05, 2019
PmCheck: Identify some semantically equivalent expressions

!1746 · created Sep 18, 2019 by Sebastian Graf
pattern match warnings
- Closed
- 5
updated Oct 12, 2019
PmCheck: Look up parent data family TyCon when populating `PossibleMatches`

!1903 · created Oct 07, 2019 by Sebastian Graf
pattern match warnings
- Closed
- 22
updated Oct 08, 2019

Prev
1
2
3
Next