12957 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	58c1afebe5	Define & export Python and Ruby Error types.	2017-06-05 15:47:55 -04:00
Rob Rix	0d71b2f23b	Merge branch 'master' into python-table-of-contents	2017-06-05 15:34:57 -04:00
Rob Rix	2d828b4bef	Merge pull request #1140 from github/assignment-error-handling ... Assignment error handling	2017-06-05 13:57:14 -04:00
Rob Rix	854d323d5e	Merge branch 'master' into assignment-error-handling	2017-06-05 13:47:28 -04:00
Rob Rix	8d5bbdc9ae	Merge pull request #1138 from github/python-diffs ... Python diffs	2017-06-05 13:34:42 -04:00
Rob Rix	5b83983d19	Rename Literally to ConstructorLabel.	2017-06-05 12:58:04 -04:00
Rob Rix	909a931b4b	Correct decoratorWithAlgebra’s docs.	2017-06-05 12:53:35 -04:00
Rob Rix	f9cba6f90b	Define a helper for keeping only the constructor label.	2017-06-05 12:52:29 -04:00
Rob Rix	71df7e6a8a	Define a helper for keeping only the category field.	2017-06-05 12:51:24 -04:00
Rob Rix	017f076534	Hyphenate subterm-wise.	2017-06-05 12:46:00 -04:00
Rob Rix	99197b96d9	JSONSummary holds Text rather than a Category.	2017-06-05 12:45:18 -04:00
Rob Rix	020e4d2066	Indicate errors solely with ErrorDeclaration.	2017-06-05 11:54:20 -04:00
Rob Rix	41e6180e7b	Extract the declaration getter to the top level.	2017-06-05 11:53:49 -04:00
Rob Rix	977d459995	Rename a couple of tests.	2017-06-05 11:32:18 -04:00
Rob Rix	5fecc68324	🔥 Summarizable.	2017-06-05 11:31:37 -04:00
Rob Rix	200c85f480	Reformat JSONSummary.	2017-06-05 11:28:30 -04:00
Rob Rix	30fd038730	Define the declaration algebras with the RAlgebra type synonym.	2017-06-05 11:04:52 -04:00
Rob Rix	64d19d2a5c	Define a declarationAlgebra over à la carte syntax.	2017-06-05 10:59:22 -04:00
Rob Rix	31921d7dac	Generalize diffTOC and renderToC to arbitrary Traversable functors.	2017-06-05 10:58:15 -04:00
Rob Rix	d8eeb1c40e	Export showExpectation.	2017-06-05 10:56:06 -04:00
Rob Rix	28c34635a8	Extract showExpectation.	2017-06-05 10:55:45 -04:00
Rob Rix	2086a8a0a2	Avoid rewriting categories.	2017-06-05 10:51:31 -04:00
Rob Rix	727edb5db6	Rename declarationAlgebra to syntaxDeclarationAlgebra	2017-06-05 10:44:09 -04:00
Rob Rix	f58d1b5f3f	Rethrow unexpected end of input errors. ... This resolves the insertion of spurious error nodes during backtracking.	2017-06-02 11:32:47 -04:00
Rob Rix	dcf2b7f0e3	Handle errors at the statement level.	2017-06-02 11:31:40 -04:00
Rob Rix	b65abc8624	Extract error handling.	2017-06-02 11:29:13 -04:00
Rob Rix	a66183d5cb	Handle errors occurring within declarations.	2017-06-02 11:22:17 -04:00
Rob Rix	6a1ed59128	Catching yields control to the handler.	2017-06-02 11:12:25 -04:00
Rob Rix	9144e89b0c	Define a MonadError instance for assignments.	2017-06-02 10:01:31 -04:00
Rob Rix	90308ca6cb	Define a smart constructor for error catching.	2017-06-02 09:37:17 -04:00
Rob Rix	2f5759b2b2	Error handlers can have effects.	2017-06-02 09:37:02 -04:00
Rob Rix	350f27259c	Define a Catch rule.	2017-06-02 09:31:32 -04:00
Rob Rix	404135174d	Parsing requires errors to exist in the syntax type.	2017-06-01 16:43:06 -04:00
Rob Rix	8cd18beae3	Python and Ruby can both contain parse errors.	2017-06-01 16:01:49 -04:00
Rob Rix	da23c5a17d	Define a Throw rule for assignment to produce errors.	2017-06-01 15:57:24 -04:00
Rob Rix	8bf980ac7d	Merge branch 'master' into python-diffs	2017-06-01 12:39:35 -04:00
Rob Rix	00e163e5bb	Merge pull request #1091 from github/r-o-a-d-m-a-p ... Semantic Code roadmap	2017-06-01 12:32:42 -04:00
Rob Rix	3949bbfbf2	Merge branch 'master' into r-o-a-d-m-a-p	2017-06-01 12:27:00 -04:00
Rob Rix	995c87a359	Define decomposeWith internally to diffTermsWith.	2017-06-01 12:02:15 -04:00
Rob Rix	9c1c8e8f85	📝 decoratingWith.	2017-06-01 11:57:59 -04:00
Rob Rix	f6d9f5589f	📝 diffTermsWith.	2017-06-01 11:56:51 -04:00
Rob Rix	9bd52c9e63	Rename comparableByGAlign to comparableByConstructor.	2017-06-01 11:53:41 -04:00
Rob Rix	1f78bac849	📝 constructorLabel & comparableByGAlign.	2017-06-01 11:53:11 -04:00
Rob Rix	e4a2f661d7	📝 ComparabilityRelation, canCompareTerms, and equalTerms.	2017-06-01 11:50:21 -04:00
Rob Rix	ea82328fac	Filter out both-missing cases up front.	2017-06-01 11:33:12 -04:00
Rob Rix	16212e86a2	Correct CommandSpec.	2017-06-01 11:27:16 -04:00
Rob Rix	4988977c78	Phrase the blob existence predicate in the positive sense.	2017-06-01 11:18:09 -04:00
Rob Rix	4cfba4ec14	Correct constructorLabel to use proper ShowS values.	2017-06-01 11:15:07 -04:00
Rob Rix	030c795fdd	decoratingWith and diffTermsWith take their inputs in Both.	2017-06-01 11:12:48 -04:00
Rob Rix	8cd44d59a5	diffTerms takes its inputs in Both.	2017-06-01 11:10:47 -04:00