Skip to content

Issues: goldfirere/singletons

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 370 Closed
28 Open 370 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

GHC 9.12 checklist enhancement
#619 opened Oct 26, 2024 by RyanGlScott
3 tasks done
Make singletons buildable after GHC#23515 bug
#601 opened Jun 1, 2024 by RyanGlScott
Use GHC2024 in singletons-th and singletons-base enhancement
#594 opened May 24, 2024 by RyanGlScott
1
1
Support promoting/singling invisible type patterns enhancement
#583 opened May 1, 2024 by RyanGlScott
4
Singling Nat-indexed GADT with addition? question
#580 opened Jan 27, 2024 by bgamari
1
How is it possible to discharge Show instance of Sigma? question
#579 opened Nov 30, 2023 by tomjaguarpaw
10
Consider allowing promotion and singling of all rank-1 types Blocked upstream enhancement question
#542 opened Nov 12, 2022 by RyanGlScott
5
Lazy Take? question
#539 opened Sep 21, 2022 by treeowl
4
Split out singletons-base test suite into its own package Tech debt testsuite
#526 opened Aug 10, 2022 by RyanGlScott
8
TypeRep in data type does not work with genSingletons. question
#503 opened Aug 29, 2021 by Sintrastes
3
SChecked for gradual typing. question
#502 opened Jul 16, 2021 by tscholak
3
Singletonize functions that already use singletons enhancement
#460 opened Apr 30, 2020 by greatBigDot
1
Add S combinator i.e. ap for (->) a Blocked upstream enhancement
#455 opened Apr 25, 2020 by infinity0
4
Singletons for Data.Functor.Product.Product? Blocked upstream enhancement
#448 opened Apr 11, 2020 by ocharles
5
Knowing what is (and isn't) defunctionalized can be confusing bug Tech debt
#429 opened Dec 26, 2019 by RyanGlScott
7
Figure out how to promote visible type application sensibly Blocked upstream enhancement
#378 opened Jan 14, 2019 by RyanGlScott
4
Terrible performance with singletonized maps Blocked upstream
#375 opened Dec 19, 2018 by treeowl
4
Singletons of singletons enhancement
#366 opened Oct 10, 2018 by RyanGlScott
1
7
Singling partiality in do-notation is troublesome Blocked bug Match flattening
#340 opened Jun 17, 2018 by RyanGlScott
1
Implementation details are needed for proofs enhancement Help wanted
#339 opened Jun 13, 2018 by howtonotwin
12
Compile times with large sums Blocked upstream
#165 opened Oct 31, 2016 by andrewthad
2
Promote GADTs Blocked upstream enhancement
#150 opened Jun 18, 2016 by int-index
38
Compile regression with Singletons-2.0 Blocked Match flattening
#131 opened Oct 30, 2015 by crockeea
6
Figure out how match flattening affects us Match flattening
#113 opened Apr 9, 2015 by goldfirere
6
singletonization in Nat test is broken when match-flattening bug Match flattening
#97 opened Sep 26, 2014 by jstolarek
7
ProTip! Exclude everything labeled bug with -label:bug.