Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / obsidiansystems/dependent-sum-template issues and pull requests
#13 - Allow template-haskell 2.22
Pull Request -
State: open - Opened by sorki 4 months ago
- 1 comment
#13 - Allow template-haskell 2.22
Pull Request -
State: open - Opened by sorki 4 months ago
- 1 comment
#12 - dependent-sum-template is incompatible with singletons
Issue -
State: closed - Opened by sdzx-1 5 months ago
- 1 comment
#12 - dependent-sum-template is incompatible with singletons
Issue -
State: closed - Opened by sdzx-1 5 months ago
- 1 comment
#11 - Support template-haskell 2.21
Pull Request -
State: closed - Opened by Vekhir 10 months ago
- 1 comment
#11 - Support template-haskell 2.21
Pull Request -
State: closed - Opened by Vekhir 10 months ago
- 1 comment
#10 - `reifyInstancesBroken` triggers again on GHC 9.6.2
Issue -
State: open - Opened by michaelpj about 1 year ago
- 2 comments
#10 - `reifyInstancesBroken` triggers again on GHC 9.6.2
Issue -
State: open - Opened by michaelpj about 1 year ago
- 2 comments
#9 - deriveGEq fails to generate GEq instance for some combinations of versions
Issue -
State: open - Opened by newhoggy about 2 years ago
- 1 comment
#8 - Support ghc-9.8
Pull Request -
State: closed - Opened by erikd about 1 year ago
- 1 comment
#8 - Support ghc-9.8
Pull Request -
State: closed - Opened by erikd about 1 year ago
- 1 comment
#7 - Fix the Skolem trick with GHC ≥ 9.4
Pull Request -
State: closed - Opened by ncfavier about 1 year ago
- 7 comments
#7 - Fix the Skolem trick with GHC ≥ 9.4
Pull Request -
State: closed - Opened by ncfavier about 1 year ago
- 7 comments
#6 - Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4
Pull Request -
State: closed - Opened by ali-abrar over 1 year ago
#5 - Latest version of GHC forces newer version of template-haskell which contains breaking changes
Issue -
State: closed - Opened by minimapletinytools over 1 year ago
- 7 comments
#4 - Better internal module name
Pull Request -
State: closed - Opened by Ericson2314 over 1 year ago
#3 - Release 0.1.2.0
Pull Request -
State: closed - Opened by cgibbard over 1 year ago
#2 - GHC 9.6
Pull Request -
State: closed - Opened by Ericson2314 over 1 year ago
- 6 comments
#1 - Changes needed for GHC 8.8.1
Pull Request -
State: closed - Opened by hamishmack almost 5 years ago
- 1 comment