Custom Query
Status: closed (5 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #2203 | TFs in class instances heads | chak | bug | normal | 6.9 | fixed |
| #2677 | Detection of TF instance conflict depends on instance order | chak | bug | normal | 6.9 | fixed |
| #2767 | Type family bug ? | chak | bug | normal | 6.10.1 | fixed |
| #2905 | require -XGADTs in order to pattern-match GADTs | proposal | normal | 6.10.1 | fixed | |
| #714 | Inconsistency between handling functional dependencies in class and signature constraints | simonpj | bug | low | 6.5 | duplicate |
Note: See TracQuery
for help on using queries.
