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

#619 - GHC 9.12 checklist

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

#617 - Use `GHC2024` in `singletons-{th,base}`

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

#615 - Adapt to goldfirere/th-desugar#227

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

#614 - `singletons-th`: Make `pr_scoped_vars` a list of `LocalVar`s, not `Name`s

Pull Request - State: closed - Opened by RyanGlScott 5 months ago - 2 comments

#613 - Track the kinds of scoped type variables using `LocalVar`s

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

#612 - Give helper type families more precise kinds

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

#610 - Record local variables' kinds during lambda lifting

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

#607 - Give `Compose`'s instances explicit kind signatures

Pull Request - State: open - Opened by RyanGlScott 5 months ago

#607 - Give `Compose`'s instances explicit kind signatures

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

#604 - Overly general kind for `PAlternative`

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

#603 - Generate `Apply` instances with explicit kind arguments

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

#603 - Generate `Apply` instances with explicit kind arguments

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

#603 - Generate `Apply` instances with explicit kind arguments

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

#602 - Make `Sing` instances more explicit on their left-hand sides

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

#602 - Make `Sing` instances more explicit on their left-hand sides

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

#601 - Make `singletons` buildable after GHC#23515

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

#601 - Make `singletons` buildable after GHC#23515

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

#601 - Make `singletons` buildable after GHC#23515

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

#600 - Improve Haddock

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

#600 - Improve Haddock

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

#599 - Improve documentation of Data.Singletons

Pull Request - State: open - Opened by tomjaguarpaw 6 months ago - 11 comments

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

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

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

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

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

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

#592 - Reduce defunctionalization symbol bloat related to local variables

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

#591 - Support scoped type variables in class/instance declarations

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

#590 - Simplify singling of instance method types by not inferring instance signatures

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

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

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

#587 - Require building with GHC 9.10

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

#587 - Require building with GHC 9.10

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

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

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

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

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

#583 - Support promoting/singling invisible type patterns

Issue - State: open - Opened by RyanGlScott 7 months ago - 4 comments
Labels: enhancement

#583 - Support promoting/singling invisible type patterns

Issue - State: open - Opened by RyanGlScott 7 months ago - 2 comments
Labels: enhancement

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

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

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

Issue - State: open - Opened by RyanGlScott 7 months ago - 4 comments
Labels: enhancement

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

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

#580 - Singling Nat-indexed GADT with addition?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#573 - Implement partial support for promoting scoped type variables

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

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

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

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

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

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

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

#569 - GHC 9.10 checklist

Issue - State: closed - Opened by RyanGlScott over 1 year 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 over 1 year ago - 2 comments
Labels: bug

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

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

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

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 3 comments
Labels: enhancement, Blocked upstream

#564 - GHC 9.8 checklist

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

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

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

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

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

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

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

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

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

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

Pull Request - State: closed - Opened by RyanGlScott over 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

#553 - Greatly simplify how implicitly quantified type signatures are singled

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

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

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

#551 - Unnecessary context passing in `singInstD`

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

#550 - Consider simpler approach for singling type variable quantifiers

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

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

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

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

Issue - State: closed - Opened by RyanGlScott almost 2 years ago - 1 comment
Labels: Tech debt

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

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: Documentation, Tech debt

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

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

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

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago - 1 comment
Labels: Documentation

#543 - How does sCases work?

Issue - State: closed - Opened by RobertFischer almost 2 years ago - 3 comments
Labels: Documentation

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

Issue - State: open - Opened by RyanGlScott about 2 years ago - 5 comments
Labels: enhancement, question, Blocked upstream

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

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

#540 - GHC 9.6 checklist

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

#539 - Lazy Take?

Issue - State: open - Opened by treeowl about 2 years ago - 4 comments
Labels: question

#539 - Lazy Take?

Issue - State: open - Opened by treeowl about 2 years ago - 4 comments
Labels: question

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

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

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

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

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

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

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

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

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

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