8266 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7bbbc4cbea	Use the replacing combinator in the tests.	2016-08-12 09:53:16 -04:00
Rob Rix	0c47648c5b	🔥 a let binding.	2016-08-12 09:52:22 -04:00
Rob Rix	0eb43f47a3	Use wrap in the RWS correctness test.	2016-08-12 09:46:45 -04:00
Rob Rix	4100ac4173	Do the lookup symmetrically.	2016-08-12 09:45:42 -04:00
Rob Rix	1a342edb37	Rename found to foundA.	2016-08-12 09:44:55 -04:00
Rob Rix	4e6fa4ded7	Find unmapped elements in A with a helper function.	2016-08-12 09:44:17 -04:00
Rob Rix	7f6901966c	Insertion unmaps the element in the B list.	2016-08-12 09:38:20 -04:00
Rob Rix	11950fed8a	Insert if the nearest elements aren’t mutual.	2016-08-12 09:38:01 -04:00
Rob Rix	d4d291a219	Lookup the nearest element in b.	2016-08-12 09:37:38 -04:00
Rob Rix	443fe118d7	We don’t need to bind the unmapped elements in B.	2016-08-12 09:32:58 -04:00
Rob Rix	ae443aa660	Move the guard up.	2016-08-12 09:26:19 -04:00
Rob Rix	96333fd54f	Mark the current element in B as mapped.	2016-08-12 09:25:55 -04:00
Rob Rix	0cf6a40e08	Carry the lists of unmapped elements in B around too.	2016-08-12 09:23:56 -04:00
Rob Rix	f2be7c27a9	Rename unmapped to unmappedA.	2016-08-12 09:22:54 -04:00
Rob Rix	d4b2ffc616	Bind a variable for a.	2016-08-12 09:19:56 -04:00
Rob Rix	b7d63bd589	Rename v to b.	2016-08-12 09:19:35 -04:00
Rob Rix	df25851902	Revert "Mark the (failing) rws tests as pending for the time being." ... This reverts commit a9025cacda01db216590e99dd36e867611e0f953.	2016-08-12 09:13:52 -04:00
Josh Vera	d95470c566	Merge branch 'master' into if-syntax	2016-08-11 17:52:03 -04:00
joshvera	e209199016	Add If constructor to Syntax	2016-08-11 17:39:44 -04:00
Rob Rix	73f73fdb40	Mark the (failing) rws tests as pending for the time being.	2016-08-11 15:24:02 -04:00
Rob Rix	3647248666	Merge branch 'master' into unbiased-branch-diff-tests	2016-08-11 15:20:51 -04:00
Rob Rix	2d63f3f1f1	Merge pull request #671 from github/auto-generate-test-cases ... Auto generate test cases	2016-08-11 15:07:49 -04:00
Rob Rix	86fd5b21fd	Use the replacing smart constructor.	2016-08-11 14:42:17 -04:00
Rob Rix	0346b5d8f1	Use galign to ensure that the constructors are disjoint.	2016-08-11 14:32:10 -04:00
Rick Winfrey	18042ee6f2	Merge branch 'master' into auto-generate-test-cases	2016-08-11 12:55:55 -05:00
Rick Winfrey	b9b426ffb2	Completely remove submodule from index	2016-08-11 12:38:40 -05:00
Rick Winfrey	9089cb3156	Reset javascript submodule	2016-08-11 12:38:17 -05:00
Rob Rix	0fc0e80ed9	Revert "Revert "Ensure that the syntaxes are disjoint."" ... This reverts commit cfe27aec6f0764f451c493439086e03a1bdcf176.	2016-08-11 13:33:33 -04:00
Rob Rix	d9b48b6def	Revert "Ensure that the syntaxes are disjoint." ... This reverts commit 43ebf52752a8cf22ae18633a5667966fd3f74aa0.	2016-08-11 13:28:51 -04:00
Rob Rix	70a622ca84	Ensure that the syntaxes are disjoint.	2016-08-11 13:27:45 -04:00
Rob Rix	fd23564dd5	Use a single root function for both interpreter tests.	2016-08-11 13:05:36 -04:00
Rob Rix	3eb05a31b1	Test the interpreter against insertions as well.	2016-08-11 13:03:22 -04:00
Rob Rix	fd2274b997	Use a single annotation for both children.	2016-08-11 13:00:54 -04:00
Rob Rix	261e82fd21	Extract a constructor for the root terms.	2016-08-11 12:54:14 -04:00
Rob Rix	7d8eb02ec8	Strip the diff and terms in the rws correctness test.	2016-08-11 12:50:56 -04:00
Rob Rix	23ba6bf12a	Export stripTerm.	2016-08-11 12:49:23 -04:00
Rob Rix	3bb86389ed	Strip the diff in the replacement of unicode equivalent terms test.	2016-08-11 12:48:41 -04:00
Rob Rix	15b515e7a1	Strip the diff in the correctness test.	2016-08-11 12:48:27 -04:00
Rob Rix	336f37d0c8	Strip diffs in the unbiased test.	2016-08-11 12:45:40 -04:00
Rob Rix	0aef8a8467	Use stripDiff in the RWS spec.	2016-08-11 12:44:49 -04:00
Rob Rix	cbe397ed1d	stripDiff expects diff annotations to be in a functor.	2016-08-11 12:44:43 -04:00
Rob Rix	66e1ff3c50	Add functions to strip terms and diffs to RWS.	2016-08-11 12:42:53 -04:00
Rob Rix	8d22e7bd85	Pointfree definition of root.	2016-08-11 12:37:19 -04:00
Rob Rix	7bb5d7cd36	Use a single function to compute both roots.	2016-08-11 12:36:41 -04:00
Rob Rix	b551f9c3d9	Test that the bias of interpreter by reversing the inputs & output.	2016-08-11 12:34:32 -04:00
Rob Rix	af831671bc	Interpreter uses category equality.	2016-08-11 12:32:44 -04:00
Rob Rix	544a6d3daf	RWS uses category equality for its comparisons.	2016-08-11 12:31:44 -04:00
Rob Rix	2477a40b6c	Enable FlexibleContexts for the tests.	2016-08-11 12:29:17 -04:00
Rob Rix	fd6701973f	Replace termA/termB with functions.	2016-08-11 12:25:30 -04:00
Rob Rix	fb847d9d3f	Add a test that interpreter is unbiased for deletions.	2016-08-11 12:23:34 -04:00