Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sweirich/replib issues and pull requests
#50 - Use correct case for Examples directory
Pull Request -
State: closed - Opened by phadej almost 4 years ago
#49 - build failure against ghc-8.10: Generics/RepLib/R.hs:91:11: error: Cannot instantiate unification variable ‘b0’...
Issue -
State: closed - Opened by trofi almost 4 years ago
- 1 comment
#48 - template-haskell dependency
Issue -
State: closed - Opened by ibrahimsag over 4 years ago
- 4 comments
#47 - Bump containers upper bound to allow >= 0.6
Issue -
State: closed - Opened by FranklinChen over 5 years ago
- 1 comment
#46 - make RepLib build with GHC 843 and GHC861, TH 213 and TH 214
Pull Request -
State: closed - Opened by chessai about 6 years ago
#45 - upload RepLib that builds with newer template-haskell to hackage?
Issue -
State: closed - Opened by chessai about 6 years ago
- 2 comments
#44 - RepLib builds with template-haskell-2.12 (GHC-8.2)
Pull Request -
State: closed - Opened by nomeata over 6 years ago
- 2 comments
#43 - AST with unbound + recussion schemes for transformations
Issue -
State: open - Opened by csabahruska over 7 years ago
- 5 comments
#42 - An experimental implementation of Nominal representation based backend for unbound
Pull Request -
State: open - Opened by hengchu over 7 years ago
#41 - Show for bind fix (space delimiter added)
Pull Request -
State: closed - Opened by kyagrd almost 8 years ago
- 1 comment
#40 - Show for bound needs space after the bound variables
Issue -
State: closed - Opened by kyagrd almost 8 years ago
- 3 comments
#39 - Rename examples/ to Examples/
Pull Request -
State: closed - Opened by nomeata about 8 years ago
#38 - derive_abstract breaks alpha equivalence
Issue -
State: closed - Opened by enolan about 8 years ago
- 3 comments
#37 - Added missing `Rep a` constraint to `fresh` method.
Pull Request -
State: closed - Opened by m0rphism over 8 years ago
- 1 comment
#36 - `fresh` method misses `Rep a` constraint
Issue -
State: closed - Opened by m0rphism over 8 years ago
- 1 comment
#35 - Toward GHC 8 compatibility
Pull Request -
State: closed - Opened by goldfirere over 8 years ago
- 1 comment
#34 - Failed to Build with GHC 8.0.1
Issue -
State: closed - Opened by heades over 8 years ago
- 5 comments
#33 - Simulatenous unbound and substitute
Issue -
State: closed - Opened by nomeata about 9 years ago
- 8 comments
#32 - RepLib fails to build
Issue -
State: closed - Opened by nomeata about 9 years ago
- 6 comments
#31 - New hackage release
Issue -
State: closed - Opened by nomeata about 9 years ago
- 2 comments
#30 - Please consider joining stackage
Issue -
State: closed - Opened by nomeata about 9 years ago
- 12 comments
#29 - Compatibility with GHC 7.10
Pull Request -
State: closed - Opened by serras over 9 years ago
- 1 comment
#28 - Applying close over Shift at level 0 should not be an error.
Issue -
State: closed - Opened by lambdageek over 9 years ago
- 1 comment
#27 - Parameterized type gives Template Haskell error
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Priority-Medium, auto-migrated, Type-Defect
#26 - untrec has worse than O(n) complexity in number of binders -- linear time possible?
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Priority-Medium, auto-migrated, Type-Defect
#25 - Variable capture when substituting in patterns
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Medium, auto-migrated, Type-Defect
#24 - Impossible Sat instance
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Medium, auto-migrated, Type-Defect
#23 - Failed deriving for GADT
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Medium, auto-migrated, Type-Defect
#22 - Patch for /trunk/tutorial/Tutorial.lhs
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: auto-migrated, Type-Patch
#21 - unsafeUnBind should be called unsafeUnbind
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: auto-migrated, Type-Defect, Priority-Low
#20 - Implement LF as a more in-depth test case
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#19 - Fix copyright/license information
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Priority-Medium, auto-migrated, Type-Defect
#18 - Add suport for existentials to RepLib
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Type-Enhancement, auto-migrated, Priority-Low
#17 - Create real test suites
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Medium, auto-migrated, Type-Defect
#16 - Move from Data.* to Generics.*
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Priority-Medium, auto-migrated, Type-Defect
#15 - Can't import derived reps qualified by module name
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: auto-migrated, Type-Defect, Priority-Low
#14 - Multiple atom support
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#13 - Update behavior of match in Nominal.hs
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Priority-Medium, auto-migrated, Type-Defect
#12 - derive aeq directly instead of using match
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#11 - Also derive alpha-respecting Ord instance
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#10 - Add Read and Enum to Data.RepLib.PreludeLib
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: auto-migrated, Type-Defect, Priority-Low
#9 - Add Read and Enum to Data.RepLib.PreludeLib
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: auto-migrated, Type-Defect, Priority-Low
#8 - Add Read and Enum to Data.RepLib.PreludeLib
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Type-Enhancement, auto-migrated, Priority-Low
#7 - Free vars should return a set instead of a list?
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#6 - Extend library with examples from other libs
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Type-Enhancement, auto-migrated, Priority-Low
#5 - Add representation of R type
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Type-Enhancement, auto-migrated, Priority-Low
#4 - Derive reps for datatypes with record components
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Type-Enhancement, Priority-Medium, auto-migrated
#3 - Fixity declarations for cons and pairs?
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Priority-Medium, auto-migrated, Type-Defect
#2 - Can derive reps for type abbreviations
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Priority-Medium, auto-migrated, Type-Defect
#1 - Better story for abstract types
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Type-Enhancement, Priority-Medium, auto-migrated