goldfirere th-desugar issues

goldfirere / th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

BSD 3-Clause "New" or "Revised" License

20 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Adapt to (but don't support) or-patterns

#233 RyanGlScott closed 1 month ago
0
Support or-patterns

#232 RyanGlScott opened 1 month ago
0
Support more embedded types in terms (GHC 9.12)

#231 RyanGlScott closed 1 month ago
0
`dMatchUpSAKWithDecl`: Fix treatment of invisible `forall`s without corresponding `@`-binders

#230 RyanGlScott closed 4 months ago
0
Add more instances for `ForAllTyFlag`

#229 RyanGlScott closed 4 months ago
0
`dMatchUpSAKWithDecl` erroneously rejects invisible `forall` without corresponding invisible type variable binder

#228 RyanGlScott closed 4 months ago
0
Improve local reification and desugaring with respect to standalone kind signatures

#227 RyanGlScott closed 4 months ago
0
Add a `Quote` instance for `DsM`

#226 RyanGlScott closed 4 months ago
0
Add `Quote` instance for `DsM`

#225 RyanGlScott closed 4 months ago
0
Remove outdated Note and code after `DLamCasesE` changes in #218

#224 RyanGlScott closed 4 months ago
0
Move `matchUpSAKWithDecl` from `singletons-th` to `th-desugar`

#223 RyanGlScott closed 4 months ago
0
As pattern desugaring fails for non-invertible patterns (e.g., unidirectional pattern synonyms)

#222 RyanGlScott opened 5 months ago
1
GHC 9.12 checklist

#221 RyanGlScott opened 5 months ago
0
Reified class method has incorrect type variable specificity

#220 RyanGlScott closed 4 months ago
0
Add `LamCaseAlt` to `MatchContext`, make `dsMatches` use `MatchContext`

#219 RyanGlScott closed 5 months ago
0
Introduce `DLamCasesE`, deprecate `DLamE`/`DCaseE`

#218 RyanGlScott closed 5 months ago
0
Make error messages for desugared non-exhaustive `\case` and `\cases` expressions more descriptive

#217 RyanGlScott closed 5 months ago
0
`README`: Document more `th-desugar` limitations

#216 RyanGlScott closed 5 months ago
0
Make `unboxed{Tuple,Sum}NameDegree_maybe` work with GHC 9.10

#215 RyanGlScott closed 7 months ago
0
Add `Foldable` and `Traversable` instances for `DTyVarBndrSpec`

#214 RyanGlScott closed 7 months ago
0
`unboxedTupleNameDegree_maybe` doesn't work with GHC 9.10

#213 RyanGlScott closed 6 months ago
3
Add `Traversable` instance for `DTyVarBndrSpec`

#212 RyanGlScott closed 7 months ago
0
Partial support for embedded types in expressions/patterns and invisible type patterns

#211 RyanGlScott closed 7 months ago
0
Replace `DLamE`/`DCaseE` with lambda cases (`\cases`)

#210 RyanGlScott closed 5 months ago
3
Document limitations of desugaring guards

#209 RyanGlScott closed 5 months ago
0
"Known limitations" section of `README` is incomplete

#208 RyanGlScott closed 5 months ago
0
Support SCC pragmas

#207 RyanGlScott closed 7 months ago
0
Support namespace specifiers in fixity declarations

#206 RyanGlScott closed 7 months ago
0
Add support for invisible type patterns in lambda and `\cases` expressions

#205 RyanGlScott closed 5 months ago
1
Add support for visible `forall`s in lambda, `\case`, and `\cases` expressions

#204 RyanGlScott closed 5 months ago
3
Add support for namespaces in fixity declarations (introduced in `template-haskell-2.22.0.0`)

#203 RyanGlScott closed 7 months ago
0
Add support for `SCC` pragmas (introduced in `template-haskell-2.22.0.0`)

#202 RyanGlScott closed 7 months ago
0
Make `extractBoundNamesDPat` no longer extract type variables

#201 RyanGlScott closed 8 months ago
0
`extractBoundNamesDPat` should not extract type variables

#200 RyanGlScott closed 8 months ago
0
Desugared data constructor has incorrect type variable specificity

#199 RyanGlScott closed 4 months ago
1
Allow th-abstraction 0.6

#198 Vekhir closed 1 year ago
0
Support the `FldName` namespace introduced in GHC 9.8

#197 RyanGlScott closed 1 year ago
0
Support typed Template Haskell quotes and splices with GHC 9.8+

#196 RyanGlScott closed 1 year ago
0
Avoid using deprecated `head` and `tail` functions

#195 RyanGlScott closed 1 year ago
0
Support invisible binders in type-level declarations

#194 RyanGlScott closed 1 year ago
1
Make `matchTy` look through `DAppKindT`s

#193 RyanGlScott closed 1 year ago
0
`matchTy` and visible kind applications

#192 RyanGlScott closed 1 year ago
0
GHC 9.10 checklist

#191 RyanGlScott closed 6 months ago
1
Handle special tuples in `tupleNameDegree_maybe`, remove `tupleDegree_maybe` and friends

#190 RyanGlScott closed 1 year ago
0
Define `toposortKindVarsOfTvbs`, use it to fix #188

#189 RyanGlScott closed 1 year ago
0
"Conflicting definitions for ‘a’" error when desugaring data type

#188 RyanGlScott closed 1 year ago
2
`tupleDegree_maybe` doesn't take `Unit`, `Solo`, `MkSolo`, or `Tuple` into account

#187 RyanGlScott closed 1 year ago
0
Adapt to `TypeAbstractions` in GHC 9.8

#186 RyanGlScott closed 1 year ago
0
Handle `InfixT`/`PromotedInfixT` in `unfoldType` properly

#185 RyanGlScott closed 1 year ago
0
Local reification fails on infix data family

#184 RyanGlScott closed 1 year ago
1