168 Commits

Author	SHA1	Message	Date
joshvera	20e2a520e6	add .Fixed to Syntax	2015-10-23 14:47:44 -04:00
Rob Rix	d5bf556cac	Test that recursively-copied diffs do not contain patches.	2015-10-23 11:49:03 -04:00
Rob Rix	11ed1a855d	Test that equal terms zip to non-nil.	2015-10-23 11:46:47 -04:00
Rob Rix	b194dede9a	Add annotations to Free 😭 ... This is heartbreaking, but it was always going to end this way.	2015-10-22 18:55:28 -04:00
Rob Rix	3682aca8a0	Rename the convenience to avoid the method of the same name.	2015-10-22 18:54:10 -04:00
Rob Rix	6cca28582d	Add a convenience to copy terms into diffs.	2015-10-22 18:51:14 -04:00
Rob Rix	d6a9be0794	Double down on annotations.	2015-10-22 16:02:03 -04:00
Rob Rix	b7a341b8b1	Correct omissions in the tests.	2015-10-22 10:43:20 -04:00
Rob Rix	c9b33f826c	Add an annotation parameter to Free.	2015-10-22 10:30:38 -04:00
Rob Rix	a19101b89c	Construct much smaller terms.	2015-10-19 12:44:59 -04:00
Rob Rix	82b7518809	Use the stripped property.	2015-10-19 12:30:39 -04:00
Rob Rix	b915679396	Correct the original state tests.	2015-10-19 12:30:04 -04:00
Rob Rix	fa96faa41f	Shrink RangedDiffs.	2015-10-19 11:49:05 -04:00
Rob Rix	2656aa27dd	RangedDiff wraps RangedTerms.	2015-10-19 11:47:52 -04:00
Rob Rix	6aa1736fbc	Shrink ranged terms.	2015-10-19 11:38:32 -04:00
Rob Rix	2a313b18a1	Compute the unannotated term corresponding to ranged terms.	2015-10-19 11:37:13 -04:00
Rob Rix	e78f5d5c43	Revert "UnannotatedTerm is Equatable." ... This reverts commit 76714ae37d821e270ec2e47037cd35f03c86344b.	2015-10-19 11:32:36 -04:00
Rob Rix	529a7163f6	Revert "UnannotatedTerm is Comparable." ... This reverts commit aac5b979c44d04566fe411cde4a9d857ef62a708.	2015-10-19 11:32:33 -04:00
Rob Rix	91342a0431	Document the returned array.	2015-10-19 11:31:48 -04:00
Rob Rix	7236a46679	Shrink keyed nodes.	2015-10-19 11:31:44 -04:00
Rob Rix	423d804254	Document the shrunk term.	2015-10-19 11:31:35 -04:00
Rob Rix	9e6aa171a7	Factor out the case.	2015-10-19 11:28:18 -04:00
Rob Rix	2da03dbb67	Shrink outward-in.	2015-10-19 11:27:05 -04:00
Rob Rix	8bd00f2414	Sort indexed alternatives.	2015-10-19 10:51:08 -04:00
Rob Rix	6e376d9d51	UnannotatedTerm is Comparable.	2015-10-19 10:50:19 -04:00
Rob Rix	df0ba4c10e	Attempt to shrink indexed terms.	2015-10-19 10:50:14 -04:00
Rob Rix	fe3236f7bb	UnannotatedTerm is Equatable.	2015-10-19 10:49:25 -04:00
Rob Rix	f440cf170e	Shrink by case analysis.	2015-10-19 10:47:24 -04:00
Rob Rix	b693578099	Stub in shrinking.	2015-10-19 10:35:58 -04:00
Rob Rix	4be6e61001	Implicit returns.	2015-10-19 10:35:55 -04:00
Rob Rix	0cc7889ae1	Skip equal terms.	2015-10-19 09:52:15 -04:00
Rob Rix	84919e5b02	Test double inversion idempotency.	2015-10-16 17:46:25 -04:00
Rob Rix	6ac949fe4b	Test that differences differ.	2015-10-16 17:46:12 -04:00
Rob Rix	c57d43c48b	Extract diff equality.	2015-10-16 17:44:29 -04:00
Rob Rix	bec43a2c94	Test that the after state is recoverable.	2015-10-16 17:35:18 -04:00
Rob Rix	20fa9ba32a	Test that the before state is recoverable. ... Apparently it is sometimes not!	2015-10-16 17:34:34 -04:00
Rob Rix	af3630e071	Test that diff equality is reflexive.	2015-10-16 17:26:35 -04:00
Rob Rix	059803788c	Construct arbitrary ranged diffs.	2015-10-16 17:21:45 -04:00
Rob Rix	23db982035	Stub in RangedDiff.	2015-10-16 17:17:48 -04:00
Rob Rix	e438646045	Move UnannotatedTerm to its own file.	2015-10-16 17:16:34 -04:00
Rob Rix	ce20112304	Test that equal terms produce identity diffs.	2015-10-16 17:14:08 -04:00
Rob Rix	dee991f0ff	Add an interpreter.	2015-10-16 17:13:59 -04:00
Rob Rix	0f59062570	Typealiases.	2015-10-16 17:13:51 -04:00
Rob Rix	34777ef796	Tacit.	2015-10-16 17:07:45 -04:00
Rob Rix	d18a1a6a0a	Stub in diff tests.	2015-10-16 17:07:37 -04:00
Rob Rix	541ea6b45c	Test that equality is reflexive.	2015-10-16 17:03:18 -04:00
Rob Rix	0c75c7d600	Pick a number by fiat.	2015-10-16 17:03:07 -04:00
Rob Rix	2aed2e3d51	Choose from a strictly smaller k.	2015-10-16 17:01:16 -04:00
Rob Rix	6627d40bf9	Recur through a strictly smaller k.	2015-10-16 17:00:10 -04:00
Rob Rix	03a9e74dbc	Extract a function for computing arbitrary terms.	2015-10-16 16:58:46 -04:00