Rob Rix
|
90e7b5a5c2
|
Define the interpretation of WithNode assignments.
|
2017-06-07 16:16:10 -04:00 |
|
Rob Rix
|
8730128c4c
|
Define a WithNode rule for assignments.
|
2017-06-07 16:14:22 -04:00 |
|
Rob Rix
|
cc90ee88b7
|
Add an ast type parameter to Assignment.
|
2017-06-07 16:12:23 -04:00 |
|
Rob Rix
|
40f86f4b59
|
Define type synonyms for Ruby and Python assignment so as to not have to keep editing every type signature.
|
2017-06-07 15:57:39 -04:00 |
|
Rob Rix
|
79724efd67
|
Clarify a doc comment.
|
2017-06-07 15:54:21 -04:00 |
|
Rob Rix
|
845e0fa8d6
|
Export Term type synonyms from Ruby and Python.
|
2017-06-07 15:53:36 -04:00 |
|
Rob Rix
|
4b4e6871b4
|
Rename the term parameter to ast.
|
2017-06-07 15:44:43 -04:00 |
|
Rob Rix
|
0599ae2286
|
Extend the projection function to return the location as well.
|
2017-06-07 15:43:21 -04:00 |
|
Rob Rix
|
a8ff3bb588
|
Generalize to arbitrary comonads.
|
2017-06-07 15:29:03 -04:00 |
|
Rob Rix
|
549d85a84d
|
🔥 the AST type synonym.
|
2017-06-07 15:19:32 -04:00 |
|
Rob Rix
|
bc4284c8a6
|
Generalize runAssignment &c. to Traversable syntax functors.
|
2017-06-07 15:16:26 -04:00 |
|
Rob Rix
|
59b671a144
|
Generalize dropAnonymous to Recursive functors.
|
2017-06-07 15:09:47 -04:00 |
|
Rob Rix
|
d3e4117295
|
Generalize runAssignment &c. over the record fields.
|
2017-06-07 15:08:37 -04:00 |
|
Rob Rix
|
407f68faac
|
Simplify advanceState’s selection of the record.
|
2017-06-07 15:03:36 -04:00 |
|
Rob Rix
|
360ef63ab4
|
Generalize makeState to arbitrary term types.
|
2017-06-07 15:02:20 -04:00 |
|
Rob Rix
|
9d4fb0920b
|
Generalize advanceState over the syntax functor.
|
2017-06-07 15:01:52 -04:00 |
|
Rob Rix
|
f7c1992db1
|
Parameterize AssignmentState by the term type.
|
2017-06-07 15:01:24 -04:00 |
|
Rob Rix
|
698b0ac5fe
|
Use the Location synonym more widely.
|
2017-06-07 14:55:23 -04:00 |
|
Rob Rix
|
156fa1723c
|
🔥 Node.
|
2017-06-07 14:51:08 -04:00 |
|
Rob Rix
|
a8bf5b5e71
|
Redefine the Syntax type synonyms as just the list of type constructors.
|
2017-06-07 14:34:32 -04:00 |
|
Rob Rix
|
c0763f7a23
|
Redefine Location as just the list of fields.
|
2017-06-07 14:31:37 -04:00 |
|
Rob Rix
|
84c15e3e65
|
Don’t specify Node in the assignment spec.
|
2017-06-07 14:27:01 -04:00 |
|
Rob Rix
|
a66a76bb01
|
Construct the input AST using the node constructor.
|
2017-06-07 14:26:21 -04:00 |
|
Rob Rix
|
ddc58d3f83
|
Rename rec to node.
|
2017-06-07 14:23:37 -04:00 |
|
Rob Rix
|
af80bca937
|
🔥 Rose.
|
2017-06-07 14:23:33 -04:00 |
|
Rob Rix
|
52be6902a8
|
🔥 redundant parens.
|
2017-06-07 14:15:36 -04:00 |
|
Rob Rix
|
713844423f
|
Clean up the selection of errors using the Alternative instance.
|
2017-06-07 13:51:01 -04:00 |
|
Rob Rix
|
54bb4f9455
|
Rename AssignmentF’s grammar parameter to match every use of it.
|
2017-06-07 12:39:44 -04:00 |
|
Rob Rix
|
6c69d315a0
|
Simplify result production in a couple of places.
|
2017-06-07 12:17:13 -04:00 |
|
Rob Rix
|
5e1cfe7607
|
Swap the ordering of the result fields.
|
2017-06-07 12:15:22 -04:00 |
|
Rob Rix
|
9f4f37025c
|
Generalize the symbolizing function to take the whole CofreeF.
|
2017-06-07 12:09:59 -04:00 |
|
Rob Rix
|
08e15321c2
|
Parameterize assignment by a function producing the symbol.
|
2017-06-07 12:05:46 -04:00 |
|
Rob Rix
|
4a59d3e5ed
|
Consistently call the parameter “grammar.”
|
2017-06-07 11:51:21 -04:00 |
|
Rob Rix
|
3944a31988
|
Parameterize Assignment by the grammar type, not the node type.
|
2017-06-07 11:49:41 -04:00 |
|
Rob Rix
|
a5c74c4270
|
Define Rose as a type synonym for Cofree [].
|
2017-06-07 11:45:06 -04:00 |
|
Timothy Clem
|
df5a42eb4d
|
Merge pull request #1141 from github/docs-updates
Document how to use deploy semantic now (via semiotic)
|
2017-06-06 14:47:19 -07:00 |
|
Timothy Clem
|
4d99363743
|
Merge branch 'master' into docs-updates
|
2017-06-06 14:44:34 -07:00 |
|
Rick Winfrey
|
ae036466a2
|
Merge pull request #1144 from github/log-all-errors-when-running-parsers
Log all errors when running parsers
|
2017-06-06 14:31:03 -07:00 |
|
Timothy Clem
|
a75e7646b4
|
Merge branch 'master' into docs-updates
|
2017-06-06 13:31:16 -07:00 |
|
Rob Rix
|
c8cc32a87a
|
Typo.
|
2017-06-06 10:44:33 -04:00 |
|
Rob Rix
|
17056801c7
|
Count the errors.
|
2017-06-06 09:56:01 -04:00 |
|
Rob Rix
|
1f41e91b9f
|
Collect errors recursively.
|
2017-06-06 09:50:46 -04:00 |
|
Rob Rix
|
bafe5f5aec
|
Add a newline after the context if the context doesn’t end with a newline.
|
2017-06-06 09:48:46 -04:00 |
|
Rob Rix
|
e1476bf067
|
showError doesn’t append a newline.
|
2017-06-06 09:45:44 -04:00 |
|
Rob Rix
|
9a650fbb51
|
showError returns a String.
|
2017-06-06 09:45:23 -04:00 |
|
Rob Rix
|
f5e8aaf92a
|
Extract the construction of an error term into its own function.
|
2017-06-06 09:43:30 -04:00 |
|
Rob Rix
|
762c374327
|
Only show the errors once.
|
2017-06-06 09:42:14 -04:00 |
|
Rob Rix
|
a4cfd49e5c
|
Show all errors in assigned terms.
|
2017-06-06 09:41:41 -04:00 |
|
Rob Rix
|
5a37e17a6c
|
Define a helper extracting all errors from a Term.
|
2017-06-06 09:40:57 -04:00 |
|
Rob Rix
|
a88e675239
|
Merge pull request #1142 from github/python-table-of-contents
Python table of contents
|
2017-06-06 09:26:24 -04:00 |
|