sweirich replib issues - Githubissues

sweirich / replib

Replib: generic programming & Unbound: generic treatment of binders

MIT License

44 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use correct case for Examples directory

#50 phadej closed 3 years ago
0
build failure against ghc-8.10: Generics/RepLib/R.hs:91:11: error: Cannot instantiate unification variable ‘b0’...

#49 trofi closed 11 months ago
1
template-haskell dependency

#48 ibrahimsag closed 3 years ago
4
Bump containers upper bound to allow >= 0.6

#47 FranklinChen closed 5 years ago
1
make RepLib build with GHC 843 and GHC861, TH 213 and TH 214

#46 chessai closed 6 years ago
0
upload RepLib that builds with newer template-haskell to hackage?

#45 chessai closed 6 years ago
2
RepLib builds with template-haskell-2.12 (GHC-8.2)

#44 nomeata closed 6 years ago
2
AST with unbound + recussion schemes for transformations

#43 csabahruska opened 7 years ago
5
An experimental implementation of Nominal representation based backend for unbound

#42 hengchu opened 7 years ago
0
Show for bind fix (space delimiter added)

#41 kyagrd closed 7 years ago
1
Show for bound needs space after the bound variables

#40 kyagrd closed 5 years ago
3
Rename examples/ to Examples/

#39 nomeata closed 8 years ago
0
derive_abstract breaks alpha equivalence

#38 enolan closed 8 years ago
3
Added missing `Rep a` constraint to `fresh` method.

#37 m0rphism closed 8 years ago
1
`fresh` method misses `Rep a` constraint

#36 m0rphism closed 8 years ago
1
Toward GHC 8 compatibility

#35 goldfirere closed 8 years ago
1
Failed to Build with GHC 8.0.1

#34 heades closed 8 years ago
5
Simulatenous unbound and substitute

#33 nomeata closed 8 years ago
8
RepLib fails to build

#32 nomeata closed 9 years ago
6
New hackage release

#31 nomeata closed 9 years ago
2
Please consider joining stackage

#30 nomeata closed 8 years ago
12
Compatibility with GHC 7.10

#29 serras closed 9 years ago
1
Applying close over Shift at level 0 should not be an error.

#28 lambdageek closed 9 years ago
1
Parameterized type gives Template Haskell error

#27 GoogleCodeExporter closed 9 years ago
3
untrec has worse than O(n) complexity in number of binders -- linear time possible?

#26 GoogleCodeExporter closed 9 years ago
2
Variable capture when substituting in patterns

#25 GoogleCodeExporter opened 9 years ago
0
Impossible Sat instance

#24 GoogleCodeExporter opened 9 years ago
0
Failed deriving for GADT

#23 GoogleCodeExporter opened 9 years ago
0
Patch for /trunk/tutorial/Tutorial.lhs

#22 GoogleCodeExporter closed 9 years ago
1
unsafeUnBind should be called unsafeUnbind

#21 GoogleCodeExporter closed 9 years ago
1
Implement LF as a more in-depth test case

#20 GoogleCodeExporter closed 9 years ago
2
Fix copyright/license information

#19 GoogleCodeExporter closed 9 years ago
2
Add suport for existentials to RepLib

#18 GoogleCodeExporter opened 9 years ago
0
Create real test suites

#17 GoogleCodeExporter opened 9 years ago
0
Move from Data.* to Generics.*

#16 GoogleCodeExporter closed 9 years ago
1
Can't import derived reps qualified by module name

#15 GoogleCodeExporter opened 9 years ago
0
Multiple atom support

#14 GoogleCodeExporter closed 9 years ago
1
Update behavior of match in Nominal.hs

#13 GoogleCodeExporter closed 9 years ago
1
derive aeq directly instead of using match

#12 GoogleCodeExporter closed 8 years ago
1
Also derive alpha-respecting Ord instance

#11 GoogleCodeExporter opened 9 years ago
2
Add Read and Enum to Data.RepLib.PreludeLib

#10 GoogleCodeExporter closed 9 years ago
1
Add Read and Enum to Data.RepLib.PreludeLib

#9 GoogleCodeExporter closed 9 years ago
1
Add Read and Enum to Data.RepLib.PreludeLib

#8 GoogleCodeExporter opened 9 years ago
2
Free vars should return a set instead of a list?

#7 GoogleCodeExporter closed 9 years ago
3
Extend library with examples from other libs

#6 GoogleCodeExporter opened 9 years ago
1
Add representation of R type

#5 GoogleCodeExporter closed 9 years ago
2
Derive reps for datatypes with record components

#4 GoogleCodeExporter opened 9 years ago
1
Fixity declarations for cons and pairs?

#3 GoogleCodeExporter opened 9 years ago
1
Can derive reps for type abbreviations

#2 GoogleCodeExporter closed 9 years ago
3
Better story for abstract types

#1 GoogleCodeExporter closed 9 years ago
3