310 Commits

Author	SHA1	Message	Date
Rob Rix	110be2449c	Update the tests.	2017-09-09 21:44:15 +01:00
Rob Rix	41baef6c9d	Listing diffs does not produce metavariables or bindings.	2017-09-09 18:24:05 +01:00
Rob Rix	2a7a937a7e	🔥 a bunch more redundant imports.	2017-09-09 14:58:07 +01:00
Rob Rix	10b262e069	🔥 a stray import.	2017-09-09 14:54:49 +01:00
Rob Rix	24914eeb05	Move the remaining Listable instances into the tests.	2017-09-09 14:51:37 +01:00
Rob Rix	3ad5374b94	Move all the Listable stuff into the tests.	2017-09-09 14:44:57 +01:00
Rob Rix	a1bfea611f	Update all the tests.	2017-09-09 14:18:08 +01:00
Rob Rix	e2ffba2401	Rename headF to termAnnotation.	2017-09-09 11:50:29 +01:00
Rob Rix	773644d040	We limit the call stacks now.	2017-08-18 10:41:14 -04:00
Rob Rix	9e2abcaa13	🔥 a redundant import.	2017-08-17 17:57:06 -04:00
Rob Rix	7b4fcec381	Fix the tests up.	2017-08-17 17:56:01 -04:00
Rob Rix	3c7f471607	Test that eof matches before anonymous nodes at the end of branches. ... Currently failed.	2017-08-16 08:55:26 -04:00
Rob Rix	8265390933	Test that eof matches at the end of branches.	2017-08-16 08:52:29 -04:00
Rob Rix	f8ab5f2ae3	Update the imports.	2017-08-11 08:02:30 -04:00
Rob Rix	ff9e58c95f	Derive a Bounded instance.	2017-08-08 08:43:49 -04:00
Rob Rix	9530b95a37	🔥 the state in error results.	2017-08-07 12:15:02 -04:00
Rob Rix	8faf9f60be	Correct the tests.	2017-08-06 19:40:45 -04:00
Rob Rix	6c1e9afbb0	Errors hold Spans now.	2017-08-06 19:32:38 -04:00
Rob Rix	1ab9a13c6d	Ignore the state in the error callback spec.	2017-08-06 19:31:44 -04:00
Rob Rix	5129bc5418	We don’t need to qualify these.	2017-08-06 19:31:15 -04:00
Rob Rix	65a134f3c8	Derive Ord & Ix instances for the specs’ Grammar type.	2017-08-06 19:29:43 -04:00
Rob Rix	c1596f942d	Assignment errors can be strings.	2017-08-06 18:56:01 -04:00
Rob Rix	59e6fd621c	🔥 stateErrorCounter.	2017-08-06 18:52:35 -04:00
Rob Rix	07e26d03e2	Produce the current state on error.	2017-08-06 18:51:19 -04:00
Rob Rix	35f92f98c3	Fix a test now that we always try the error handler on errors.	2017-08-04 09:21:59 -04:00
Rob Rix	0a8411e534	Disambiguate assignment results.	2017-08-04 09:11:22 -04:00
Rob Rix	68d3a265ae	Fix a test with ambiguous results.	2017-08-04 08:58:28 -04:00
Rob Rix	61087b394e	Fix a test case which now succeeds.	2017-08-04 08:54:04 -04:00
Rob Rix	71642ae1bd	Fix a test case which fails at the end of input.	2017-08-04 08:52:08 -04:00
Rob Rix	9e1aad5032	Fix a test case which fails with the earlier error.	2017-08-04 08:50:56 -04:00
Rob Rix	e9e9c54fa1	Correct a spec.	2017-08-03 21:32:47 -04:00
Rob Rix	47a3f1e713	Correct the tests.	2017-08-03 21:32:11 -04:00
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	030b2967c3	Add a monotonic counter of the number of error handlers invoked.	2017-08-03 20:21:42 -04:00
Rob Rix	766e75c3b6	Correct the tests.	2017-08-03 19:48:24 -04:00
Rob Rix	fa87a249ad	Revert "Use the state nodes to indicate that we’ve advanced past nodes.." ... This reverts commit b2485da5199703d48d11ccf6b2374712b5067ded.	2017-08-03 15:38:11 -04:00
Rob Rix	adb84e33f4	Use the state nodes to indicate that we’ve advanced past nodes..	2017-08-03 13:13:37 -04:00
Rob Rix	d041dad599	Fix some missing imports.	2017-08-03 12:06:03 -04:00
Rob Rix	2529288f87	Merge branch 'master' into requiem-for-a-protolude	2017-08-03 11:51:09 -04:00
Rob Rix	c82bf8f033	Test that error call stacks point at the failing assignments.	2017-08-02 12:21:56 -04:00
Rob Rix	19850efea1	Add callstacks to the spec rules.	2017-08-02 12:11:14 -04:00
Rob Rix	8e8d1a1794	🔥 a redundant import.	2017-07-28 14:46:56 -04:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	aa15a97d3e	Test matching of alternations around pure.	2017-07-27 09:36:13 -04:00
Rob Rix	49449f5be2	Test that alternation distributes through committed choice & is nullable.	2017-07-26 18:42:36 -04:00
Rob Rix	a5236753e0	Test that alternation distributes through committed choice and matches single values.	2017-07-26 18:42:18 -04:00
Rob Rix	4038d4b1a3	Test that alternation distributes through committed choices and matches repeated values.	2017-07-26 18:41:24 -04:00
Rob Rix	2888a0d7f5	Test that committed choices of repetitions are nullable.	2017-07-26 18:40:19 -04:00
Rob Rix	786e6f6e60	Make sure that we match both when alternating repetitions.	2017-07-26 17:43:39 -04:00