Rob Rix
|
54e4953dae
|
Turn off the reduction depth limits.
|
2019-10-03 00:28:32 -04:00 |
|
Rob Rix
|
88c132bf99
|
Don’t specialize for Program.
|
2019-09-27 19:51:55 -04:00 |
|
Rob Rix
|
9f82d6ad0e
|
Define a custom ToTagsBy instance for MethodInvocation.
|
2019-09-27 18:52:40 -04:00 |
|
Rob Rix
|
a4ebd26e25
|
Correct the kinds.
|
2019-09-27 18:51:12 -04:00 |
|
Rob Rix
|
074967337a
|
Define a custom ToTagBy instance for ClassDeclaration.
|
2019-09-27 18:48:48 -04:00 |
|
Rob Rix
|
1d8e0cdc3d
|
Factor out a helper to compute tags generically.
|
2019-09-27 18:45:40 -04:00 |
|
Rob Rix
|
0b7f87dc11
|
Define a custom ToTagsBy instance for Java.Program.
This is primarily to avoid having to set -freduction-depth=0 in Language.Java.
|
2019-09-27 18:43:29 -04:00 |
|
Rob Rix
|
3d93a5d947
|
Turn off the reduction depth limit.
|
2019-09-27 18:42:53 -04:00 |
|
Rob Rix
|
a2cf763f3f
|
Define a custom ToTagBy instance for MethodDeclaration.
|
2019-09-27 18:35:01 -04:00 |
|
Rob Rix
|
2921c4ec73
|
Fix the top-level syntax type.
|
2019-09-27 18:32:36 -04:00 |
|
Rob Rix
|
a16240c112
|
Stub in a semantic-java package.
|
2019-09-27 18:21:06 -04:00 |
|