Ecosyste.ms: Issues

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

GitHub / goldfirere/singletons issues and pull requests

#600 - Improve Haddock

Pull Request - State: closed - Opened by tomjaguarpaw 1 day ago - 1 comment

#600 - Improve Haddock

Pull Request - State: closed - Opened by tomjaguarpaw 1 day ago - 1 comment

#599 - Improve documentation of Data.Singletons

Pull Request - State: open - Opened by tomjaguarpaw 1 day ago - 10 comments

#597 - Remove special-casing when singling `error` and friends

Pull Request - State: open - Opened by RyanGlScott 4 days ago

#595 - Adapt to `DLamCasesE` in `th-desugar-1.18`

Pull Request - State: open - Opened by RyanGlScott 10 days ago

#594 - Use `GHC2024` in `singletons-th` and `singletons-base`

Issue - State: open - Opened by RyanGlScott 10 days ago - 1 comment
Labels: enhancement

#592 - Reduce defunctionalization symbol bloat related to local variables

Issue - State: open - Opened by RyanGlScott 15 days ago
Labels: enhancement

#588 - Consider removing special-casing for `error` during singling

Issue - State: open - Opened by RyanGlScott 29 days ago
Labels: enhancement

#587 - Require building with GHC 9.10

Pull Request - State: closed - Opened by RyanGlScott 29 days ago

#587 - Require building with GHC 9.10

Pull Request - State: open - Opened by RyanGlScott 29 days ago

#586 - `promoteLetDecName`: Fix visibility-related bug

Pull Request - State: closed - Opened by RyanGlScott 30 days ago

#585 - `singletons-th-3.3` regression involving inferred type variable binders

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

#584 - Require building with `th-desugar-1.17`

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

#583 - Support promoting/singling invisible type patterns

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

#583 - Support promoting/singling invisible type patterns

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

#582 - Support promoting/singling namespace specifiers in fixity declarations

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

#582 - Support promoting/singling namespace specifiers in fixity declarations

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

#581 - Out-of-scope type variable when using `ScopedTypeVariables` in class method RHS

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

#580 - Singling Nat-indexed GADT with addition?

Issue - State: open - Opened by bgamari 4 months ago - 1 comment
Labels: question

#579 - How is it possible to discharge Show instance of Sigma?

Issue - State: open - Opened by tomjaguarpaw 6 months ago - 10 comments
Labels: question

#577 - `singletons-{th,base}`: Bump version to 3.3

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

#576 - Don't promote/single field selectors with `NoFieldSelectors`

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

#576 - Don't promote/single field selectors with `NoFieldSelectors`

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

#575 - `singletons-{th,base}`: Require building with GHC 9.8

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

#575 - `singletons-{th,base}`: Require building with GHC 9.8

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

#574 - Bump `th-desugar` submodule to version `1.16`

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

#573 - Implement partial support for promoting scoped type variables

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

#572 - Clean up local variable tracking in `SgM`

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

#571 - `singletons-th` fails to single shadowed variable properly

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

#570 - Prefer user-written binder names in singled data type SAKS

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

#569 - GHC 9.10 checklist

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

#567 - "The Name is not in scope" error with VDQ in standalone kind signature

Issue - State: closed - Opened by RyanGlScott 12 months ago - 2 comments
Labels: bug

#566 - Adapt to arity inference changes in type-level declarations

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

#565 - Use `TypeAbstractions` in singled data type definitions

Issue - State: open - Opened by RyanGlScott 12 months ago - 2 comments
Labels: enhancement, Blocked upstream

#564 - GHC 9.8 checklist

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

#562 - Define `Eq` and `Ord` instances for singleton types

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

#561 - Define `Eq` and `Ord` instances for singleton types

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

#560 - Support `type data` out of the box

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

#559 - Support `type data` out of the box

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

#558 - `singletons-{th,base}`: Require building with GHC 9.6

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

#556 - Use `(<>)` in derived `Ord` instances, remove `thenCmp`

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

#555 - having trouble getting singletons-th to work on ghc 9.2

Issue - State: closed - Opened by cartazio over 1 year ago - 3 comments

#552 - Delete unnecessary `ctxt` argument in `singInstD`

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

#551 - Unnecessary context passing in `singInstD`

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

#550 - Consider simpler approach for singling type variable quantifiers

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

#548 - `singletons-th`: Remove unused `unSingFun*` machinery

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

#547 - Do singled `case` expressions need an explicit kind annotation?

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

#546 - Outdated `Note [Promoting declarations in two stages]`

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: Documentation, Tech debt

#545 - Does `singletons-th` ever actually generate code with `unSingFun*`?

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

#544 - Improve documentation of `SingI`, `cases`, and `sCases`

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

#543 - How does sCases work?

Issue - State: closed - Opened by RobertFischer over 1 year ago - 3 comments
Labels: Documentation

#542 - Consider allowing promotion and singling of all rank-1 types

Issue - State: open - Opened by RyanGlScott over 1 year ago - 5 comments
Labels: enhancement, question, Blocked upstream

#541 - `singletons-th`: Allow building with `mtl-2.3.*`

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

#540 - GHC 9.6 checklist

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

#539 - Lazy Take?

Issue - State: open - Opened by treeowl over 1 year ago - 4 comments
Labels: question

#539 - Lazy Take?

Issue - State: open - Opened by treeowl over 1 year ago - 4 comments
Labels: question

#538 - Name mismatch when generating `Show` instances for custom promoted types

Issue - State: closed - Opened by cgohla almost 2 years ago - 2 comments

#538 - Name mismatch when generating `Show` instances for custom promoted types

Issue - State: closed - Opened by cgohla almost 2 years ago - 2 comments

#537 - Fix #536 with tactical uses of `promoteType`

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

#537 - Fix #536 with tactical uses of `promoteType`

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

#536 - Problem generating `SDecide` instances for custom promoted types

Issue - State: closed - Opened by cgohla almost 2 years ago - 3 comments

#536 - Problem generating `SDecide` instances for custom promoted types

Issue - State: closed - Opened by cgohla almost 2 years ago - 3 comments

#535 - Provide `Test{Equality,Coercion}` instances for `S{Nat,Symbol,Char}`

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

#535 - Provide `Test{Equality,Coercion}` instances for `S{Nat,Symbol,Char}`

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

#534 - Missing `TestEquality` and `TestCoercion` instances

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

#534 - Missing `TestEquality` and `TestCoercion` instances

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

#533 - Case analysis?

Issue - State: closed - Opened by treeowl almost 2 years ago - 2 comments
Labels: question

#533 - Case analysis?

Issue - State: closed - Opened by treeowl almost 2 years ago - 2 comments
Labels: question

#532 - Use `cabal`'s `code-generators` to reimplement `singletons-base` test suite without custom `Setup.hs`

Issue - State: open - Opened by RyanGlScott almost 2 years ago
Labels: enhancement, testsuite

#531 - `singletons-{th,base}`: Require building with GHC 9.4

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

#531 - `singletons-{th,base}`: Require building with GHC 9.4

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

#530 - Normalize Windows-style path separators

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

#530 - Normalize Windows-style path separators

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

#529 - `singletons-base` test suite fails on Windows

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: bug, testsuite

#529 - `singletons-base` test suite fails on Windows

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: bug, testsuite

#528 - Allow building with `ghc924`

Issue - State: closed - Opened by MangoIV almost 2 years ago - 3 comments

#528 - Allow building with `ghc924`

Issue - State: closed - Opened by MangoIV almost 2 years ago - 3 comments

#527 - Class for applying families

Issue - State: closed - Opened by treeowl almost 2 years ago - 6 comments
Labels: enhancement, Documentation, Help wanted

#526 - Split out `singletons-base` test suite into its own package

Issue - State: open - Opened by RyanGlScott almost 2 years ago - 7 comments
Labels: testsuite, Tech debt

#525 - Couldn't match type with `SLambda` when trying to upgrade to singletons 3.0

Issue - State: closed - Opened by vmchale almost 2 years ago - 4 comments

#525 - Couldn't match type with `SLambda` when trying to upgrade to singletons 3.0

Issue - State: closed - Opened by vmchale almost 2 years ago - 4 comments

#524 - The link to the paper doesn’t work

Issue - State: closed - Opened by schuelermine almost 2 years ago - 1 comment

#524 - The link to the paper doesn’t work

Issue - State: closed - Opened by schuelermine almost 2 years ago - 1 comment

#523 - Make `singletons-th` compile with `mtl-2.3.*`

Issue - State: closed - Opened by RyanGlScott about 2 years ago

#522 - Use `withDict` to implement `withSingI` on recent GHCs

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

#521 - Dead links in singleton-base README

Issue - State: closed - Opened by bgohla about 2 years ago - 1 comment

#521 - Dead links in singleton-base README

Issue - State: closed - Opened by bgohla about 2 years ago - 1 comment