13147 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	7fcb2c75aa	Remove the weakening performed for functions.	2017-06-06 09:06:31 -04:00
Rob Rix	f2bbf40da0	Merge branch 'master' into python-table-of-contents	2017-06-06 09:05:33 -04:00
Rob Rix	ef442e9a14	Merge pull request #1139 from github/python-expression-statements ... Python expression statements	2017-06-06 09:02:12 -04:00
Rob Rix	51fcf532a8	Correct the spec.	2017-06-06 08:47:17 -04:00
Rob Rix	46b098e312	Rename resultErrors to resultError.	2017-06-06 08:44:25 -04:00
Rick Winfrey	5ef141a3d3	🔥 whitespace	2017-06-05 14:24:27 -07:00
Rick Winfrey	56992513bb	Add error handling	2017-06-05 14:09:23 -07:00
Rick Winfrey	0aea9280e1	🔤 alternative order	2017-06-05 14:09:13 -07:00
Rob Rix	c82487688f	Implement the ToC path for Python 🎉	2017-06-05 17:03:54 -04:00
Rob Rix	18db448df2	🔥 ToC’s dependence on Category.	2017-06-05 17:03:00 -04:00
Rob Rix	bda8746224	🔥 dedupe’s dependence on Category.	2017-06-05 17:02:50 -04:00
Rob Rix	7a753baf78	🔥 declaration’s dependence on Category.	2017-06-05 17:02:39 -04:00
Rob Rix	ff7234074d	Define sameCategory in terms of the toCategoryName computation.	2017-06-05 16:59:36 -04:00
Rob Rix	d3edae8671	🔥 entrySummary’s dependency on Category.	2017-06-05 16:57:42 -04:00
Rob Rix	26c59dc7cb	Pick the category name based on the declaration.	2017-06-05 16:56:45 -04:00
Rob Rix	a8538e2287	Drop values missing declarations.	2017-06-05 16:54:32 -04:00
Rob Rix	95047d10a2	Factor the Just construction into recordSummary.	2017-06-05 16:53:20 -04:00
Rob Rix	af841480a7	Pattern match on the declaration directly.	2017-06-05 16:52:14 -04:00
Rick Winfrey	663bb5beb3	Move Ellipsis to Python.Syntax	2017-06-05 13:52:04 -07:00
Rob Rix	cff0571b37	Use getDeclaration in entrySummary.	2017-06-05 16:46:32 -04:00
Rick Winfrey	83d3e3f77d	Undo whitespace changes	2017-06-05 13:41:22 -07:00
Rick Winfrey	8ad6dcb958	Update Comprehension field names	2017-06-05 13:41:10 -07:00
Rick Winfrey	e9f20b6b57	Make Member a constructor of Subscript; 🔥 NotMember	2017-06-05 13:37:51 -07:00
Rick Winfrey	195aeb14f5	🔥 NotEqual	2017-06-05 13:23:21 -07:00
Rick Winfrey	acf8b886f1	Merge branch 'master' into python-expression-statements	2017-06-05 13:08:20 -07:00
Rob Rix	2d6bd0f9e8	Assignment results have at most one error.	2017-06-05 15:57:32 -04:00
Rob Rix	cab4a79089	Error nodes represent exactly one error.	2017-06-05 15:56:51 -04:00
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