967 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	cd7e67c30d	Remove the convenience functions.	2015-10-15 11:16:27 -04:00
Rob Rix	b4ea7b70bc	Use the Diff/Patch constructors in the tests.	2015-10-15 11:16:21 -04:00
Rob Rix	9e80e0c903	Add a Delete constructor to Free when used as a diff.	2015-10-15 11:11:06 -04:00
Rob Rix	ce633f555a	Add an Insert constructor to Free when used as a diff.	2015-10-15 11:10:35 -04:00
Rob Rix	8366dc752a	Add a Replace constructor to Free when used as a Diff.	2015-10-15 11:10:16 -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	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
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	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
Josh Vera	99c4e8556e	Merge pull request #109 from github/literal-syntax-construction ... Literal syntax construction	2015-10-14 16:44:25 -04:00
Matt Diephouse	6eff8d6f82	Merge pull request #101 from github/parameterize-algorithm-evaluation-by-comparison-restriction ... Parameterize Algorithm evaluation by comparison restriction	2015-10-14 16:42:03 -04:00
Rob Rix	86df4c6a87	Syntax is DictionaryLiteralConvertible.	2015-10-14 16:03:14 -04:00
Rob Rix	76ca906097	Syntax is ArrayLiteralConvertible.	2015-10-14 16:02:33 -04:00
Rob Rix	809ccd2888	Merge branch 'master' into diff-cofree-values	2015-10-14 15:30:03 -04:00
Rob Rix	e8c2281012	Merge branch 'master' into generalize-patch	2015-10-14 15:28:16 -04:00
Josh Vera	12130637f9	Merge pull request #106 from github/generalize-operation ... Generalize Operation	2015-10-14 15:14:58 -04:00
Rob Rix	105b57566b	Replace the JSON fixtures with much cooler JSON fixtures.	2015-10-14 14:40:47 -04:00
Rob Rix	ed004ca4c1	Annotate terms with their sizes.	2015-10-14 14:40:21 -04:00
Rob Rix	645e038982	Compute the size of syntax trees.	2015-10-14 14:32:26 -04:00
Rob Rix	6b781622b6	Add the annotations to the JSON.	2015-10-14 14:22:19 -04:00