Rob Rix
|
f781118abb
|
Move the location at end case up.
|
2017-04-26 13:32:24 -04:00 |
|
Rob Rix
|
2db005505e
|
Pull the Location case up a level.
|
2017-04-26 13:31:26 -04:00 |
|
Rob Rix
|
3de156447f
|
Match against the nodes.
|
2017-04-26 13:30:07 -04:00 |
|
Rob Rix
|
e9bff3be5a
|
Use the where clause’s binding for the source.
|
2017-04-26 13:28:34 -04:00 |
|
Rob Rix
|
4103936ca2
|
Use the where clause’s binding for the offset.
|
2017-04-26 13:28:04 -04:00 |
|
Rob Rix
|
b392c9d6b7
|
Bind the post-drop state in the where clause.
|
2017-04-26 13:24:04 -04:00 |
|
Rob Rix
|
a430b444f5
|
Pull the runAssignment iterator into the where clause.
|
2017-04-26 13:23:07 -04:00 |
|
Rob Rix
|
e67f5a9398
|
Guard terms with symbols.
|
2017-04-26 13:19:10 -04:00 |
|
Rob Rix
|
296717777d
|
Rearrange leaf to put the fmap first.
|
2017-04-26 13:18:40 -04:00 |
|
Rob Rix
|
b9027441e2
|
Use the leaf combinator to assign constants and identifiers.
|
2017-04-26 12:37:13 -04:00 |
|
Rob Rix
|
34e945d1fa
|
Use the leaf combinator to assign literals & comments.
|
2017-04-26 12:34:34 -04:00 |
|
Rob Rix
|
620b1ebd49
|
Flip leaf’s argument order.
|
2017-04-26 12:33:51 -04:00 |
|
Rob Rix
|
860138fe19
|
🔥 an extra space.
|
2017-04-26 12:33:37 -04:00 |
|
Rob Rix
|
129d962041
|
Add a leaf combinator.
|
2017-04-26 12:31:00 -04:00 |
|
Rob Rix
|
c2df871607
|
Replace Symbol with a unary Choose.
|
2017-04-26 12:17:43 -04:00 |
|
Rob Rix
|
d583b3cfcc
|
Prevent forgetting to shadow the initial state.
|
2017-04-26 12:11:03 -04:00 |
|
Rob Rix
|
677031daaa
|
Choices’ errors note the choice.
|
2017-04-26 12:07:33 -04:00 |
|
Rob Rix
|
77fe6aff31
|
empty is the left- and right-identity of <|>.
|
2017-04-26 12:05:49 -04:00 |
|
Rob Rix
|
ffe7b2ff66
|
Handle alternations of choices on both sides.
|
2017-04-26 12:04:34 -04:00 |
|
Rob Rix
|
38a92b7eda
|
Handle alternations of choices on the right.
|
2017-04-26 12:00:51 -04:00 |
|
Rob Rix
|
c85081ea6b
|
Show the symbol when choice fails.
|
2017-04-26 11:58:03 -04:00 |
|
Rob Rix
|
ffbca016db
|
Avoid revisiting anonymous nodes.
|
2017-04-26 11:47:53 -04:00 |
|
Rob Rix
|
e89ea96739
|
Test the specific error message we get for cascading children failures.
|
2017-04-26 11:45:58 -04:00 |
|
Rob Rix
|
d57df3f5fb
|
Show a better error for symbol rules.
|
2017-04-26 11:44:53 -04:00 |
|
Rob Rix
|
61b3e3c71f
|
Show a better error for symbol rules at end of input.
|
2017-04-26 11:40:59 -04:00 |
|
Rob Rix
|
6010bcb439
|
Show a better error for committed choice at end of input.
|
2017-04-26 11:39:32 -04:00 |
|
Rob Rix
|
b7d84470fb
|
Extract how we show choices into the where clause.
|
2017-04-26 11:37:00 -04:00 |
|
Rob Rix
|
b7899248d5
|
🔥 a redundant FIXME.
|
2017-04-26 11:34:43 -04:00 |
|
Rob Rix
|
2154e4a4ad
|
Construct committed choices using the Alternative interface.
|
2017-04-26 11:29:24 -04:00 |
|
Rob Rix
|
447412be86
|
Define committed choice as a map of alternatives.
|
2017-04-26 11:29:13 -04:00 |
|
Rob Rix
|
fe1a04dc91
|
Differentiate between success and errors with no messages.
|
2017-04-26 11:27:56 -04:00 |
|
Rob Rix
|
122558da3b
|
Stub in a combinator for committed choice.
|
2017-04-26 10:44:06 -04:00 |
|
Rob Rix
|
1fe76ee24c
|
Show the rest of assignments following Symbol rules.
|
2017-04-26 09:33:36 -04:00 |
|
Rob Rix
|
49f5e007da
|
🔥 Get assignment.
|
2017-04-25 15:09:41 -04:00 |
|
Rob Rix
|
7be5f34a38
|
🔥 range/sourceSpan.
|
2017-04-25 15:09:34 -04:00 |
|
Rob Rix
|
71515d73ae
|
Reintroduce Symbol assignment.
|
2017-04-25 15:08:23 -04:00 |
|
Rob Rix
|
335cb3194f
|
🔥 State assignment.
|
2017-04-25 15:05:04 -04:00 |
|
Rob Rix
|
d5797eba16
|
Define location assignment.
|
2017-04-25 15:04:08 -04:00 |
|
Rob Rix
|
448bde4861
|
Merge pull request #1087 from github/a-la-carte-folds
À la carte folds
|
2017-04-25 13:57:39 -04:00 |
|
Rob Rix
|
c2607ffc4c
|
📝 Union’s constructors.
|
2017-04-25 13:53:18 -04:00 |
|
Rob Rix
|
03c57f2ef4
|
Merge branch 'master' into a-la-carte-folds
|
2017-04-25 12:47:47 -04:00 |
|
Rob Rix
|
8e2c1ffd5f
|
Correct the docs of identifierAlg.
|
2017-04-25 12:39:05 -04:00 |
|
Rob Rix
|
4644bcc2ef
|
Use Traversable as shorthand for Functor + Foldable.
This is not generally a good idea, but we strictly control these unions & syntax types, and it’s hard to imagine non-`Traversable` syntax.
|
2017-04-25 12:35:49 -04:00 |
|
Rob Rix
|
b6723c56f2
|
Panic! Our system.
|
2017-04-25 12:33:41 -04:00 |
|
Rob Rix
|
0db2c73a1e
|
Replace the identifiable algebra with an identifier algebra.
|
2017-04-25 12:30:36 -04:00 |
|
Rob Rix
|
69bbc13da3
|
Methods must be part of the syntax.
|
2017-04-25 12:27:42 -04:00 |
|
Rob Rix
|
30e72f3344
|
Methods are declarations, not statements.
|
2017-04-25 12:27:27 -04:00 |
|
Timothy Clem
|
168444acb8
|
Merge pull request #1086 from github/clean-parse-and-diff-interface
Parse and diff interface that knows nothing about Git or the filesystem
|
2017-04-25 09:17:17 -07:00 |
|
Rob Rix
|
00200d7822
|
📝 some cases cyclomaticComplexityAlg doesn’t handle.
|
2017-04-25 12:17:17 -04:00 |
|
Rob Rix
|
a00ff68f32
|
Control exits methods at least once.
|
2017-04-25 12:15:28 -04:00 |
|