1009 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	260a317194	Merge branch 'master' into restrict-comparisons-by-category ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj	2015-10-15 09:47:49 -04:00
Rob Rix	e635668719	Merge pull request #116 from github/remove-hash ... Remove Hash	2015-10-15 09:46:03 -04:00
Rob Rix	48234b71c2	Remove Hash.	2015-10-15 09:44:40 -04:00
Rob Rix	77a32f9e8d	Remove Patch hashing.	2015-10-15 09:44:36 -04:00
Rob Rix	f30d2d609a	Remove Syntax hashing.	2015-10-15 09:43:51 -04:00
Rob Rix	1cbc04100d	Remove Free hashing.	2015-10-15 09:43:27 -04:00
Rob Rix	8b5a269d5e	Remove Cofree hashing.	2015-10-15 09:43:23 -04:00
Rob Rix	db6d485f82	Merge pull request #115 from github/remove-category ... Remove Category.	2015-10-15 09:40:47 -04:00
Rob Rix	9ac09dea2c	Remove Category.	2015-10-15 09:40:36 -04:00
Rob Rix	605784965f	Merge pull request #114 from github/remove-info ... Remove Info.	2015-10-15 09:39:52 -04:00
Rob Rix	6fcfed8f37	Remove Info.	2015-10-15 09:39:20 -04:00
Rob Rix	f0d5e1c05d	This got pulled in twice due to a cherry-pick followed by a merge. ... I didn’t know that was even possible.	2015-10-15 09:29:26 -04:00
Rob Rix	c022085919	Merge branch 'master' into restrict-comparisons-by-category ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj prototype/Doubt/Fix.swift	2015-10-15 09:28:21 -04:00
Rob Rix	7d5bbe7065	Merge pull request #113 from github/remove-fix ... Remove Fix<A>	2015-10-15 09:26:37 -04:00
Rob Rix	59947a6581	Rename TermType.out to TermType.unwrap.	2015-10-15 09:18:55 -04:00
Rob Rix	cb5dde7bb1	Remove Fix.	2015-10-15 09:17:55 -04:00
Rob Rix	3d8027b6a1	Fix is no longer a TermType.	2015-10-15 09:17:40 -04:00
Rob Rix	3763d7354f	Remove the constrained extension providing JSON from diffs when their terms are Fix<A>. ... This was not easy to reproduce with Cofree because you can’t introduce a type variable to constrain the annotation to.	2015-10-15 09:16:49 -04:00
Rob Rix	dd48510b65	Original terms can be recovered without annotations.	2015-10-15 09:12:34 -04:00
Rob Rix	3356a11805	Remove the redundant Free/Fix construction. ... This was handled by Free/TermType construction.	2015-10-15 09:09:58 -04:00
Rob Rix	89720c8e65	Test SES over Cofree terms.	2015-10-15 09:08:30 -04:00
Rob Rix	adca66f66c	Define parameterized equality over TermType.	2015-10-15 09:05:40 -04:00
Rob Rix	a40ae08ac5	Correct a comment.	2015-10-15 09:01:07 -04:00
Rob Rix	18d19173c0	Remove the Fix → Cofree constructor.	2015-10-15 08:58:48 -04:00
Rob Rix	63ad55f4f0	Merge pull request #112 from github/remove-doc ... Remove Doc	2015-10-15 08:57:49 -04:00
Rob Rix	70b7e56b9c	Remove Doc.	2015-10-15 08:55:53 -04:00
Rob Rix	ca922b2283	Free is no longer CustomDocConvertible.	2015-10-15 08:55:26 -04:00
Rob Rix	2bfe2e2eab	Fix is no longer CustomDocConvertible.	2015-10-15 08:55:01 -04:00
Rob Rix	064e5f1faa	Patch is no longer CustomDocConvertible.	2015-10-15 08:54:33 -04:00
Rob Rix	eba7c9bfbd	Remove DocTests.swift.	2015-10-15 08:54:04 -04:00
Rob Rix	31eb3f2b4a	Syntax is no longer CustomDocConvertible.	2015-10-15 08:53:46 -04:00
Rob Rix	606614ffdf	🔥 Info.	2015-10-14 18:09:24 -04:00
Rob Rix	90b7ac4b21	Equals-or-intersects.	2015-10-14 18:08:56 -04:00
Rob Rix	5fccc3586c	Test that uncategorized terms are unrestricted.	2015-10-14 17:51:40 -04:00
Rob Rix	c75b2c134e	Correct the test of disjoint categorization to assign unique categories to each term.	2015-10-14 17:51:31 -04:00
Rob Rix	742fc0ea0f	Correct the categorization test. ... This implies that uncategorized nodes can be compared with anything.	2015-10-14 17:51:01 -04:00
Rob Rix	2aef2114c3	Test that comparisons are unrestricted by default.	2015-10-14 17:47:07 -04:00
Rob Rix	1134f7a9e9	Add a fixture for an unrestricted diff.	2015-10-14 17:46:50 -04:00
Rob Rix	90864e397b	Avoid an annotation.	2015-10-14 17:46:41 -04:00
Rob Rix	0cb72943b1	Rename the test case.	2015-10-14 17:44:19 -04:00
Rob Rix	d9e7798dde	Test that comparisons of disjoint-categorized terms are restricted.	2015-10-14 17:41:51 -04:00
Rob Rix	1f23ec9e47	Extract the diff into a private global.	2015-10-14 17:39:53 -04:00
Rob Rix	48a9a741c7	Merge branch 'master' into restrict-comparisons-by-category	2015-10-14 17:36:47 -04:00
Josh Vera	ff9975e532	Merge pull request #108 from github/diff-cofree-values ... Diff Cofree values	2015-10-14 16:49:51 -04:00
joshvera	46010e3096	Merge branch 'master' into diff-cofree-values	2015-10-14 16:49:28 -04:00
Josh Vera	df31170dc8	Merge pull request #107 from github/generalize-patch ... Generalize Patch	2015-10-14 16:47:57 -04:00
Josh Vera	d49986c671	Merge pull request #102 from github/charge-a-constant-cost-to-patches ... Charge a constant cost to patches	2015-10-14 16:47:47 -04:00
Rob Rix	03ad2f8873	Merge branch 'master' into restrict-comparisons-by-category	2015-10-14 16:47:30 -04:00
Rob Rix	025d43379e	Merge branch 'master' into diff-cofree-values	2015-10-14 16:46:07 -04:00
Rob Rix	4690ae6533	Merge branch 'master' into generalize-patch	2015-10-14 16:45:33 -04:00