Rob Rix
2110d7d076
Slight improvement to the unexpected end of branch test.
2017-09-01 11:49:46 -04:00
Rob Rix
a640b48ddc
Test that unexpected end of branch errors are uncaught.
2017-09-01 11:47:38 -04:00
Rob Rix
7fc97f6b9d
Rename a test.
2017-09-01 11:33:33 -04:00
Rob Rix
6afe2b5ae9
Test that handlers can error.
2017-09-01 11:32:57 -04:00
Rob Rix
eb65bd9622
Test the inverse case.
2017-09-01 11:28:59 -04:00
Rob Rix
99b4d5037a
🔥 unnecessary parens.
2017-09-01 11:28:41 -04:00
Rob Rix
70cfa6e070
Rename & correct a catchError test.
2017-09-01 11:26:46 -04:00
Rob Rix
de318561dd
Correct a test’s expectation.
2017-09-01 11:25:30 -04: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
Rob Rix
27f6d2ed25
Test that alternation distributes through children rules.
2017-07-26 12:14:12 -04:00
Rob Rix
898e119af9
Test that alternations of repetitions succeed.
2017-07-26 12:02:18 -04:00
Rob Rix
5c0d27c1a2
Test that overlapping choices match the right branch.
...
This currently fails due to the left-biased nature of how we merge committed choices.
2017-07-26 11:11:15 -04:00
Rob Rix
6e1be163b3
Test that overlapping choices match the left branch.
2017-07-26 11:09:52 -04:00
Rob Rix
d6beb353fa
🔥 unused imports.
2017-07-23 16:08:05 -04:00
Rob Rix
aa8ebfcd73
Remove the leaf type parameter from SyntaxTerm.
2017-07-23 15:56:08 -04:00
Rob Rix
0ba3264f32
Remove the leaf type parameter from Syntax.
2017-07-23 15:46:29 -04:00
Rob Rix
32c03be782
Rename AssignmentState to State.
2017-07-22 16:13:42 -04:00
Rob Rix
09787f5e93
Combine the Error constructors.
2017-07-22 15:43:48 -04:00
Rob Rix
a04a05cf1a
Combine ErrorCause into Error.
2017-07-22 15:31:43 -04:00
Rob Rix
83a0d9c60e
Swap the order of the source & assignment.
2017-07-22 14:06:07 -04:00
Rob Rix
455f912941
Swap the order of the projection & source.
2017-07-22 14:04:52 -04:00
Rob Rix
d464da8089
runAssignment is exhaustive.
2017-07-22 13:59:45 -04:00
Timothy Clem
9f20e57740
Spacing
2017-07-21 09:08:57 -07:00
Timothy Clem
2f9f9f5752
Merge remote-tracking branch 'origin/master' into remove-sourceState
2017-07-21 09:07:33 -07:00
Timothy Clem
b934b97f27
s/Palatte/Palette
2017-07-21 09:00:30 -07:00
Timothy Clem
2880052c15
Remove sourceState from AssignmentState
2017-07-20 10:23:21 -07:00
Timothy Clem
1183c0265a
err no longer used in these specs
2017-07-20 09:36:41 -07:00
Timothy Clem
6b1a3b0efd
Fix zero width repetitions infinite loop
...
Introduces a stateCounter to detect progress and accepts one and only one zero width match.
Refactored tests a bit to not assert internal state unless specifically necessary.
2017-07-20 09:32:24 -07:00
Timothy Clem
ee0fb33a94
Demonstrate infinite loop with many (pure x)
2017-07-20 09:32:24 -07:00
Timothy Clem
0b23bf901f
Use const
2017-07-20 09:32:24 -07:00
Timothy Clem
4cdac77633
Test out catchError
2017-07-20 09:32:24 -07:00
Timothy Clem
64d2175f58
Fix up assignment specs
2017-07-17 14:39:08 -07:00
Rob Rix
cf5794d9cc
🔥 a redundant import.
2017-07-12 15:57:14 -04:00
Rob Rix
e050a44cf4
Define a Node type for the intermediate representation of metadata.
2017-07-12 15:55:21 -04:00
Rob Rix
a1b30f7524
Fix up the tests.
2017-07-12 14:51:38 -04:00
Rob Rix
5c44267e27
Fix the specs.
2017-06-26 12:56:56 -04:00
Rob Rix
fe29a865c3
🔥 redundant hidden symbols.
2017-06-24 17:32:18 -04:00
Rob Rix
b7ea75a9bd
Define Source abstractly.
2017-06-24 11:32:04 -04:00
Rob Rix
fc09d74b73
Rename the Source module to Data.Source.
2017-06-24 09:59:41 -04:00
Rob Rix
4097d4bfc0
Rename SourceSpan to Span and SourcePos to Pos.
2017-06-24 09:30:34 -04:00
Rob Rix
eaa98912de
Bounds are closed ranges.
2017-06-15 10:06:15 -04:00
Rob Rix
93f61519b7
Update the featureVectorDecorator bounds test.
2017-06-15 09:46:51 -04:00
Rob Rix
46cfee6e28
Update the RWS spec.
2017-06-15 09:44:46 -04:00
Rob Rix
b019a2b237
Correct the spec.
2017-06-07 20:17:14 -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
51fcf532a8
Correct the spec.
2017-06-06 08:47:17 -04:00
Rob Rix
6563d7d195
Correct the tests’ comparability relation.
2017-05-31 15:55:01 -04:00
Rick Winfrey
13077a3f9b
Merge branch 'master' into python-assignment
2017-05-18 18:12:36 -07:00
Rob Rix
9c75981833
Construct well-formed nodes.
2017-05-17 15:36:53 -04:00
Rob Rix
516daa7e4f
Correct the spec.
2017-05-17 15:35:15 -04:00
Rick Winfrey
fe41b97464
Fix HLint warnings
2017-05-12 09:45:07 -07:00
Rob Rix
b4face5176
Clarify one of the test descriptions.
2017-05-03 11:23:31 -04:00
Rob Rix
a96596b01c
Update the tests.
2017-05-03 10:56:01 -04:00
Rob Rix
080f30c704
Test that withTokens preserves anonymous nodes.
2017-05-03 10:13:40 -04:00
Rob Rix
ad642922ec
Test that anonymous nodes are not dropped after matching.
2017-05-03 10:09:31 -04:00
Rob Rix
80c3072508
Test that anonymous nodes are dropped at the start of input.
2017-05-03 10:07:53 -04:00
Rob Rix
ab1e7ac9e0
Give a list of symbol types to consider.
2017-05-03 10:03:02 -04:00
Rob Rix
7e0f13fc63
Bind the initial state to clarify the intent of the test.
2017-05-03 09:42:57 -04:00
Rob Rix
7ae74cdacc
Use makeState to tidy up an expectation.
2017-05-03 09:42:18 -04:00
Rob Rix
72de8792c4
Construct Source with OverloadedStrings.
2017-05-03 09:40:52 -04:00
Rob Rix
1c968e3aab
Use makeState in the assignment spec.
2017-05-03 09:39:24 -04:00
Rob Rix
bfd55c49c9
Correct a test.
2017-05-03 09:39:19 -04:00
Rob Rix
9193e91bf6
Correct some tests to only depend on the values.
2017-05-01 10:05:36 -04:00
Rob Rix
ccdb54e01e
Make the tests compile.
2017-05-01 10:01:59 -04:00
Rob Rix
f991988eea
Show the source of errors.
2017-04-26 14:54:29 -04:00
Rob Rix
e89ea96739
Test the specific error message we get for cascading children failures.
2017-04-26 11:45:58 -04:00
Rob Rix
447412be86
Define committed choice as a map of alternatives.
2017-04-26 11:29:13 -04:00
Rob Rix
fe1a04dc91
Differentiate between success and errors with no messages.
2017-04-26 11:27:56 -04:00
joshvera
7395e88ab0
Remove Data.RandomWalkSimilarity
2017-04-24 15:53:11 -04:00
Rob Rix
55934f656b
Correct indentation.
2017-04-24 10:44:37 -04:00
Rob Rix
de0cdc98aa
Add SourcePos information to the tests.
2017-04-24 10:27:45 -04:00
Rob Rix
296d9bb03d
Fix the tests.
2017-04-21 16:12:56 -04:00
Rob Rix
f97ed6cc37
Rename Content to Source.
2017-04-19 16:00:44 -04:00
Rob Rix
c589e229ee
Rename rule to symbol.
2017-04-19 13:11:09 -04:00
Rob Rix
ccad5c275e
Update the tests.
2017-04-18 11:06:24 -04:00
Rob Rix
5ad80666ad
Test that children assignments match multiple nested children.
2017-04-10 11:24:30 -04:00
Rob Rix
b1b1d2bd2f
Test that assignment continues after children assignments.
2017-04-10 10:52:12 -04:00
Rob Rix
c2482a0610
Test that children assignments nest.
2017-04-10 10:35:39 -04:00
Rob Rix
c9cf3d0bb8
Tidy up the repetition test.
2017-04-10 09:01:33 -04:00
Rob Rix
72ad4e027e
Generalize the ast helper over the grammar type.
2017-04-07 21:26:02 -04:00
Rob Rix
a43ff988ae
Test that rule assignment does not advance the cursor.
2017-04-07 14:59:13 -04:00
Rob Rix
79454112c5
Test that content assignment advances the cursor.
2017-04-07 14:57:44 -04:00
Rob Rix
c2a2b0b32b
Test that content assignment produces nodes’ content.
2017-04-07 14:57:00 -04:00
Rob Rix
0cc5c84706
Move the rule assignment tests down.
2017-04-07 14:50:57 -04:00
Rob Rix
f082473b4f
Rename the test for rule assignments.
2017-04-07 14:48:02 -04:00
Rob Rix
df130daceb
Group the Applicative tests together.
2017-04-07 14:47:31 -04:00
Rob Rix
806d4a702f
Group the Alternative tests together.
2017-04-07 14:47:23 -04:00
Rob Rix
71c5372d17
Test that children assignment fails if the subrule fails.
2017-04-07 14:43:53 -04:00
Rob Rix
b2da4ca89a
Test that children assignments match if their subrule matches.
2017-04-07 14:42:25 -04:00
Rob Rix
dfb5cff0dc
Test that children advances the cursor.
2017-04-07 14:39:13 -04:00
Rob Rix
03ea4a55fc
Correct the test assignments.
2017-04-07 14:37:22 -04:00
Rob Rix
c27af0034e
Rename stepAssignment to runAssignment.
2017-04-07 13:31:26 -04:00
Rob Rix
3a87919d22
Simplify the tests.
2017-04-07 12:36:14 -04:00
Rob Rix
76240b1d67
Refocus the existing assignment specs.
2017-04-07 12:21:45 -04:00
Rob Rix
18cd862dc3
Parameterize rws by the approximate edit distance.
2017-02-23 16:13:42 -05:00
Rob Rix
ef2715f4f0
RWS’s comparison function takes These.
2017-02-23 14:17:52 -05:00
Rob Rix
22236ebd7e
Give RWS separate functions for comparisons and determining whether a comparison should be made.
2017-02-23 14:13:13 -05:00
Rob Rix
ca134a8857
Account for vectors being in Maybe now.
2017-02-14 13:23:33 -05:00
Rob Rix
93937a1bf9
Fix the tests.
2017-02-08 11:15:37 -05:00
Rob Rix
c734ddb7aa
🔥 a redundant import.
2017-02-06 10:18:07 -05:00
Rob Rix
84a0c70a7c
Use the FeatureVector type synonym.
2017-02-03 15:54:28 -05:00
Rob Rix
8e1c5706b6
Replace uses of (.:) with (:.).
2017-01-19 15:46:28 -05:00
Rob Rix
877fec5e38
Rename RNil to Nil.
2017-01-19 15:36:04 -05:00
Rob Rix
389378fbff
Migrate the Mergeable property tests to leancheck.
2017-01-08 00:10:14 -05:00
Rob Rix
43faae0864
Migrate the RWS property tests to leancheck.
2017-01-07 23:27:01 -05:00
joshvera
b5ff4178e9
scope to getLabel
2016-10-13 16:16:50 -04:00
joshvera
dfe8648a11
Fix tests
2016-10-12 19:19:36 -04:00