Custom Query
Status: new (1 match)
| Ticket | Summary | Owner | Type | Priority | Version | Operating System |
|---|---|---|---|---|---|---|
| #4139 | Spurious non-exhaustive pattern match warnings are given using GADTs | bug | normal | 7.4.1 | Unknown/Multiple |
Note: See TracQuery
for help on using queries.
