14555 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	cabab1f9ed	Check advancement using the state offset instead of the counter.	2017-08-03 21:29:22 -04:00
Rob Rix	9bfe67afd9	🔥 stateError.	2017-08-03 21:26:43 -04:00
Rob Rix	a57aa0bf2b	Share the continuation.	2017-08-03 21:23:47 -04:00
Rob Rix	bece561240	Unfreeze the callstacks in <|>.	2017-08-03 21:13:35 -04:00
Rob Rix	4dded01e73	Preserve callstacks through exhaustiveness checks.	2017-08-03 21:11:29 -04:00
Rob Rix	ffb01ff388	Freeze the callstacks in <|>.	2017-08-03 21:10:08 -04:00
Rob Rix	abaad4fc76	Assignment is non-strict.	2017-08-03 21:05:11 -04:00
Rob Rix	cbff2fee2d	Take the first zero-error term, if any, before forcing the rest.	2017-08-03 21:04:38 -04:00
Rob Rix	42a22aad72	Amb is non-strict.	2017-08-03 21:03:42 -04:00
Rob Rix	0617502efe	Order repetitions greedily.	2017-08-03 20:52:27 -04:00
Rob Rix	d5749545ce	Children, projection, & source rules are unambiguous.	2017-08-03 20:51:46 -04:00
Rob Rix	e9c61048ec	Committed choices are really committed.	2017-08-03 20:30:55 -04:00
Rob Rix	cb58739e48	Select terms by the minimum error counter.	2017-08-03 20:26:51 -04:00
Rob Rix	788f435b1e	Define a disambiguation convenience.	2017-08-03 20:23:29 -04:00
Rob Rix	030b2967c3	Add a monotonic counter of the number of error handlers invoked.	2017-08-03 20:21:42 -04:00
Rob Rix	d1e3518732	Avoid recomputating the bodies of catch rules.	2017-08-03 20:17:59 -04:00
Rob Rix	92f2745bc3	Alternate entire children rules, not just successful ones.	2017-08-03 20:13:06 -04:00
Rob Rix	24b93e0ad6	Allow ambiguous parses with and without the error handler.	2017-08-03 20:00:45 -04:00
Rob Rix	232bf01302	Allow ambiguous matches past source, children, & projection rules.	2017-08-03 19:57:42 -04:00
Rob Rix	c4f1296a3b	Simplify committed choices with backtracking.	2017-08-03 19:54:51 -04:00
Rob Rix	dc282cdcb8	Return all matches from repetitions.	2017-08-03 19:51:41 -04:00
Rob Rix	8c4fdbc390	Halt non-advancing recursion.	2017-08-03 19:50:26 -04:00
Rob Rix	766e75c3b6	Correct the tests.	2017-08-03 19:48:24 -04:00
Rob Rix	ea29092469	Define a Bifunctor instance for Amb.	2017-08-03 19:40:07 -04:00
Rob Rix	143e6ec26d	Select the result with the fewest errors.	2017-08-03 19:36:51 -04:00
Rob Rix	f79e118d2e	Committed choices with alternatives attempt the alternative.	2017-08-03 19:31:16 -04:00
Timothy Clem	8bb4fe3a44	Merge pull request #1279 from github/the-great-tree-sitter-update ... The great tree sitter update	2017-08-03 16:30:38 -07:00
Rob Rix	51185311af	Flatten Alt rules into a non-empty list.	2017-08-03 19:25:54 -04:00
Rob Rix	c0bdb15d61	Assignment ambiguously.	2017-08-03 19:17:17 -04:00
Timothy Clem	f5cfed5ee9	++tree-sitter-json for negative numbers	2017-08-03 15:47:50 -07:00
Timothy Clem	632536d6d1	Ruby changes landed on master	2017-08-03 15:31:08 -07:00
Timothy Clem	653fab5eb1	Except ruby still needs this	2017-08-03 15:28:21 -07:00
Timothy Clem	39178494a1	++tree-sitter and friends to master	2017-08-03 15:20:37 -07:00
Timothy Clem	6b01580dbb	Merge remote-tracking branch 'origin/master' into the-great-tree-sitter-update	2017-08-03 15:09:35 -07:00
Rick Winfrey	2929f160d6	Merge pull request #1277 from github/bump-tree-sitter-python ... Bump tree-sitter-python and make Python assignment more robust	2017-08-03 15:03:37 -07:00
Rick Winfrey	f7efacca73	🔥 comment	2017-08-03 14:34:24 -07:00
Rick Winfrey	b1f843679f	Add import for swap	2017-08-03 14:22:49 -07:00
Rick Winfrey	1c72b23cea	Merge branch 'master' into bump-tree-sitter-python	2017-08-03 14:15:44 -07:00
Rob Rix	9572b96fa4	Define a MonadError instance for Amb.	2017-08-03 17:04:47 -04:00
Rob Rix	5ca85ec4ed	Define a Monad instance for Amb.	2017-08-03 17:02:47 -04:00
Rob Rix	aeb4a65c61	Define an Applicative instance for Amb.	2017-08-03 17:02:28 -04:00
Rob Rix	7dd880dd18	Define a Semigroup instance over Amb.	2017-08-03 17:02:15 -04:00
Rob Rix	fb9f27a00e	Define an Amb datatype.	2017-08-03 17:02:05 -04:00
Timothy Clem	28815031eb	No reason to test parse failures here	2017-08-03 13:59:05 -07:00
Rob Rix	69892a8dc9	Stub in a module for ambiguous data.	2017-08-03 16:58:23 -04:00
Rob Rix	10f39e2fdf	requireExhaustive returns a NonEmpty list of results.	2017-08-03 15:57:48 -04:00
Rob Rix	6c9d23d827	Assignment produces a NonEmpty list of results.	2017-08-03 15:54:43 -04:00
Rob Rix	ea87ae33ba	Revert "Bump freer-cofreer for iterLookahead." ... This reverts commit 67b2e75d0bab203de20baae2d33dcb68d8caa9b3.	2017-08-03 15:38:19 -04:00
Rob Rix	dd8e283632	Revert "Run assignments using iterLookahead." ... This reverts commit 2a280ffb7dea2707e13bc518d93af9d6e0648bd0.	2017-08-03 15:38:17 -04:00
Rob Rix	d3895a504e	Revert "Define a function computing the first sets for assignments." ... This reverts commit 55e4c4f33ed52bf49f018dfd7251117e86c3e774.	2017-08-03 15:38:16 -04:00