210 Commits

Author	SHA1	Message	Date
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