Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / goldfirere/th-desugar issues and pull requests

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

Pull Request - State: closed - Opened by RyanGlScott about 1 month ago

#232 - Support or-patterns

Issue - State: open - Opened by RyanGlScott about 1 month ago
Labels: enhancement

#231 - Support more embedded types in terms (GHC 9.12)

Pull Request - State: closed - Opened by RyanGlScott about 1 month ago

#229 - Add more instances for `ForAllTyFlag`

Issue - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#226 - Add a `Quote` instance for `DsM`

Pull Request - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#225 - Add `Quote` instance for `DsM`

Issue - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#223 - Move `matchUpSAKWithDecl` from `singletons-th` to `th-desugar`

Issue - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#221 - GHC 9.12 checklist

Issue - State: open - Opened by RyanGlScott 6 months ago
Labels: enhancement

#220 - Reified class method has incorrect type variable specificity

Issue - State: closed - Opened by RyanGlScott 6 months ago
Labels: bug

#218 - Introduce `DLamCasesE`, deprecate `DLamE`/`DCaseE`

Pull Request - State: closed - Opened by RyanGlScott 6 months ago

#216 - `README`: Document more `th-desugar` limitations

Pull Request - State: closed - Opened by RyanGlScott 6 months ago
Labels: documentation

#215 - Make `unboxed{Tuple,Sum}NameDegree_maybe` work with GHC 9.10

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#214 - Add `Foldable` and `Traversable` instances for `DTyVarBndrSpec`

Pull Request - State: closed - Opened by RyanGlScott 7 months ago
Labels: enhancement

#213 - `unboxedTupleNameDegree_maybe` doesn't work with GHC 9.10

Issue - State: closed - Opened by RyanGlScott 7 months ago - 3 comments
Labels: bug

#212 - Add `Traversable` instance for `DTyVarBndrSpec`

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: enhancement

#210 - Replace `DLamE`/`DCaseE` with lambda cases (`\cases`)

Issue - State: closed - Opened by RyanGlScott 7 months ago - 3 comments
Labels: enhancement

#209 - Document limitations of desugaring guards

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: documentation

#208 - "Known limitations" section of `README` is incomplete

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: documentation

#207 - Support SCC pragmas

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#206 - Support namespace specifiers in fixity declarations

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#205 - Add support for invisible type patterns in lambda and `\cases` expressions

Issue - State: closed - Opened by RyanGlScott 7 months ago - 1 comment
Labels: enhancement

#204 - Add support for visible `forall`s in lambda, `\case`, and `\cases` expressions

Issue - State: closed - Opened by RyanGlScott 7 months ago - 3 comments
Labels: enhancement

#202 - Add support for `SCC` pragmas (introduced in `template-haskell-2.22.0.0`)

Issue - State: closed - Opened by RyanGlScott 7 months ago
Labels: enhancement

#201 - Make `extractBoundNamesDPat` no longer extract type variables

Pull Request - State: closed - Opened by RyanGlScott 9 months ago

#200 - `extractBoundNamesDPat` should not extract type variables

Issue - State: closed - Opened by RyanGlScott 9 months ago
Labels: bug

#199 - Desugared data constructor has incorrect type variable specificity

Issue - State: closed - Opened by RyanGlScott about 1 year ago - 1 comment
Labels: bug

#198 - Allow th-abstraction 0.6

Pull Request - State: closed - Opened by Vekhir about 1 year ago

#197 - Support the `FldName` namespace introduced in GHC 9.8

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#196 - Support typed Template Haskell quotes and splices with GHC 9.8+

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#195 - Avoid using deprecated `head` and `tail` functions

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#194 - Support invisible binders in type-level declarations

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago - 1 comment

#193 - Make `matchTy` look through `DAppKindT`s

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#192 - `matchTy` and visible kind applications

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: enhancement

#191 - GHC 9.10 checklist

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: enhancement

#189 - Define `toposortKindVarsOfTvbs`, use it to fix #188

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#188 - "Conflicting definitions for ‘a’" error when desugaring data type

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 2 comments
Labels: bug

#186 - Adapt to `TypeAbstractions` in GHC 9.8

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: enhancement

#185 - Handle `InfixT`/`PromotedInfixT` in `unfoldType` properly

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#184 - Local reification fails on infix data family

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: bug

#183 - Local reification doesn't respect `NoFieldSelectors`

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 3 comments
Labels: bug

#182 - GHC 9.8 checklist

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: enhancement

#181 - `getDataD`: Also return a `DataFlavor`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#180 - Use `DeriveLift` instead of TH to define `Lift` instances

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#179 - Support `type data` declarations

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#177 - Implement universal support for desugaring view patterns

Issue - State: open - Opened by expipiplus1 almost 2 years ago - 3 comments

#176 - Use `DeriveLift` instead of TH to define `Lift` instances

Issue - State: closed - Opened by RyanGlScott almost 2 years ago - 2 comments
Labels: enhancement

#175 - Support as-patterns in pattern synonyms with view patterns

Pull Request - State: open - Opened by expipiplus1 almost 2 years ago - 13 comments

#174 - Pattern guards are not a sufficient replacement for view patterns

Issue - State: open - Opened by expipiplus1 almost 2 years ago - 7 comments

#173 - Make local reification aware of GADT type variable binder ordering

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#172 - Local reification for pattern synonym record selectors

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#170 - GHC 9.6 checklist

Issue - State: closed - Opened by RyanGlScott about 2 years ago - 4 comments
Labels: enhancement

#169 - Support TH constructs added in GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#168 - Allow building with `mtl-2.3.*`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#167 - Build failure with mtl-2.3

Issue - State: closed - Opened by sjakobi over 2 years ago - 2 comments

#166 - Use `withDict` to implement `bindIP` on recent GHCs

Pull Request - State: open - Opened by RyanGlScott over 2 years ago - 2 comments

#165 - Use `withDict` instead of `unsafeCoerce` to implement `bindIP`

Issue - State: open - Opened by RyanGlScott over 2 years ago
Labels: enhancement

#164 - Desugar lambdas and guards with unboxed tuples

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#163 - Require GHC 8.0 or later

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago - 1 comment

#162 - Don't apply type-variable hack when expanding closed type families

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago - 1 comment

#161 - Expansion becomes stuck on closed type families with type variable arguments

Issue - State: closed - Opened by RyanGlScott over 2 years ago
Labels: bug

#160 - Desugar non-exhaustive case expressions using `mkErrorMatchExpr`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#159 - Inconsistent treatment of non-exhausive guards in function definitions vs. `case` expressions

Issue - State: closed - Opened by RyanGlScott over 2 years ago - 1 comment
Labels: bug

#158 - Desugared lambda expressions involving unlifted types won't typecheck

Issue - State: closed - Opened by RyanGlScott over 2 years ago - 11 comments
Labels: bug

#157 - GHC 9.4 checklist

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 6 comments
Labels: enhancement

#156 - Add support for OverloadedRecordDot

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago

#155 - Fix #154

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#154 - Desugaring incorrectly computes infix information for GADT constructors

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: bug

#153 - Don't sweeten top-level foralls in DInstanceD/DStandaloneDerivD

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#152 - Support VTA in data constructor patterns

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 5 comments

#151 - DInstanceDs with explicit foralls no longer sweeten correctly under GHC HEAD (9.1)

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 7 comments
Labels: bug

#150 - Simplify the desugaring of lambda expressions

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#149 - Desugared lambda expressions with @-patterns are needlessly complicated

Issue - State: closed - Opened by RyanGlScott almost 4 years ago
Labels: enhancement

#148 - GHC 9.2 checklist

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 2 comments
Labels: enhancement

#147 - Make pragmaToTH error on unsupported DPragmas

Pull Request - State: closed - Opened by RyanGlScott about 4 years ago

#144 - Make it depend on semigroups/fail only on GHC < 8.0

Pull Request - State: closed - Opened by felixonmars over 4 years ago - 3 comments

#143 - Adapt to linear types in th-desugar

Issue - State: closed - Opened by RyanGlScott over 4 years ago - 5 comments
Labels: enhancement

#142 - Support explicit specificity

Pull Request - State: closed - Opened by RyanGlScott over 4 years ago - 2 comments

#141 - GHC 9.0 checklist

Issue - State: closed - Opened by RyanGlScott over 4 years ago - 1 comment
Labels: enhancement

#140 - Adapt to explicit specificity in th-desugar

Issue - State: closed - Opened by RyanGlScott over 4 years ago - 4 comments
Labels: enhancement

#139 - Remove conExistentialTvbs, simplify spec of getRecordSelectors

Pull Request - State: closed - Opened by RyanGlScott over 4 years ago

#138 - dsDoStmts doesn't support ApplicativeDo

Issue - State: open - Opened by expipiplus1 over 4 years ago - 2 comments
Labels: enhancement, help wanted

#137 - Local reification misses pattern synonym field selectors

Issue - State: closed - Opened by RyanGlScott over 4 years ago
Labels: bug

#136 - Explain local reification in more detail in the Haddocks

Pull Request - State: closed - Opened by RyanGlScott almost 5 years ago
Labels: documentation

#135 - Locally reify classes with type family defaults correctly (#134)

Pull Request - State: closed - Opened by RyanGlScott almost 5 years ago

#134 - Incorrect local reification of type family defaults

Issue - State: closed - Opened by RyanGlScott almost 5 years ago - 2 comments
Labels: bug