emilaxelsson syntactic issues

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax

BSD 3-Clause "New" or "Revised" License

25 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix compilation on GHC 8.8 and 8.10

#39 emilaxelsson closed 3 years ago
0
patched some TH errors

#38 Rewbert closed 3 years ago
1
package not on stackage

#37 MarisaKirisame closed 4 years ago
1
modified 'freshVar' to accomodate the monad fail update.

#36 markus-git closed 5 years ago
1
Fix Project prj: catch-all was causing universal Nothing results.

#35 kquick closed 5 years ago
8
Make syntactic 1.x compatible with GHC 8.0.2

#34 kffaxen closed 6 years ago
3
Rely on new deepseq version.

#33 markus-git closed 7 years ago
3
Compile failure with GHC 7.4.2

#32 hvr closed 7 years ago
3
Merge Full/:-> into a single type

#31 oliver-batchelor opened 8 years ago
5
Feature request, custom Typeable?

#30 oliver-batchelor opened 8 years ago
6
Codensity monad

#29 Icelandjack closed 8 years ago
1
Combine Full/:-> as their own datatype

#28 Icelandjack opened 8 years ago
18
Quantified constraints for Show

#27 Icelandjack opened 8 years ago
3
Remove TH dependency

#26 valderman closed 9 years ago
0
Specialize instances

#25 emwap closed 9 years ago
0
Add `writeHtmlDecorWith`

#24 emwap closed 9 years ago
0
Allow any `MonadState m` in reification

#23 emwap closed 9 years ago
0
Allow base-7.8

#22 emwap closed 9 years ago
0
Forcing Evaluation of an AST

#21 crockeea closed 9 years ago
1
Default instances for EvalEnv

#20 crockeea closed 9 years ago
1
Consider adding zippers?

#19 Blaisorblade opened 10 years ago
7
1.x fixes for CodeMotion2

#18 jankner closed 10 years ago
0
1.x fixes for CodeMotion2

#17 jankner closed 10 years ago
1
Examples using pattern synonyms?

#16 Blaisorblade opened 10 years ago
1
1.x

#15 jankner closed 10 years ago
4
1.x

#14 jankner closed 10 years ago
0
alphaEqSymDefault ignores type annotations.

#13 pjonsson opened 10 years ago
5
Added Typeable instances, removed TypeUniverse and friends

#12 crockeea closed 10 years ago
4
Typeable Instances for Datas

#11 crockeea closed 10 years ago
2
Fix for codeMotion2.

#10 jankner closed 10 years ago
2
Compile Error with 7.8.2

#9 crockeea closed 10 years ago
2
Evaluating Parameterized Types

#8 crockeea closed 10 years ago
13
Sharing results / Using Let and Lambda

#7 crockeea closed 10 years ago
6
1.x some fixes for codeMotion2

#6 jankner closed 10 years ago
2
Alternative code motion algorithm and tests for it.

#5 jankner closed 10 years ago
10
Added benchmarks

#4 carlostome closed 10 years ago
0
Only consider subexpressions of the starting expression for CSE.

#3 pjonsson closed 10 years ago
0
Add support for large tuples.

#2 pjonsson closed 10 years ago
0
Add LANGUAGE annotations for ghci.

#1 pjonsson closed 10 years ago
2