16151 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	27758821e8	Use the comparableTerms relation in the RWS tests.	2017-10-03 15:10:11 -04:00
Rob Rix	0d790823ab	Use comparableTerms as the comparability relation for à la carte terms.	2017-10-03 14:59:41 -04:00
Rob Rix	ecfb920291	🔥 the export of equivalentTerms from Interpreter.	2017-10-03 14:59:19 -04:00
Rob Rix	d453a7f2df	Define a comparability relation for terms.	2017-10-03 14:58:14 -04:00
Rob Rix	adcaed3ec0	Define a Diffable method to determine comparability.	2017-10-03 14:57:06 -04:00
Rob Rix	22f5fd46d3	Rename the genericAlgorithmFor bindings.	2017-10-03 14:44:14 -04:00
Rob Rix	ced2396fde	Lift subterm equivalence into Unions.	2017-10-03 14:38:10 -04:00
Rob Rix	59ee7e2251	Use the Diffable-generic definition of term equivalence for à la carte syntax.	2017-10-03 14:31:54 -04:00
Rob Rix	6536c4b06f	Term equivalence falls back to recursively lifted equality.	2017-10-03 14:31:06 -04:00
Rob Rix	407d368c90	Determine equivalence by name for Declaration.Method.	2017-10-03 14:21:06 -04:00
Rob Rix	614c26749e	Determine equivalence by name for Declaration.Function.	2017-10-03 14:20:45 -04:00
Rob Rix	6718a713e2	Determine equivalence by subject for Context.	2017-10-03 14:20:06 -04:00
Rob Rix	910c179bbe	Determine equivalence by the nominated subterm first.	2017-10-03 14:19:26 -04:00
Rob Rix	aca3a2cf99	Add a Diffable method to select a subterm to compute equivalence by.	2017-10-03 14:18:55 -04:00
Rob Rix	8471486d1a	Revert "Define subequivalence of Functions." ... This reverts commit da65ddc832de7a61ba93e5463bc17128762e7600.	2017-10-03 14:12:41 -04:00
Rob Rix	1c5db3a82f	Revert "Define subequivalence of Methods." ... This reverts commit 902db7cde56b43143212ac9d491a63c64d8f8ff8.	2017-10-03 14:12:37 -04:00
Rob Rix	695ceb7d62	Define equivalence in terms of lifted equality.	2017-10-03 13:33:04 -04:00
Rob Rix	82244515f8	Define a function computing the equivalence of terms based on subequivalence.	2017-10-03 13:27:02 -04:00
Rob Rix	98ac25fe84	Define subequivalence of Methods.	2017-10-03 13:26:29 -04:00
Rob Rix	e52e69e08b	Define subequivalence of Functions.	2017-10-03 13:26:17 -04:00
Rob Rix	67cb2b3ea7	Define subequivalence of Context nodes.	2017-10-03 13:26:08 -04:00
Rob Rix	2fc976dd0e	Define subequivalence of Unions.	2017-10-03 13:26:02 -04:00
Rob Rix	124e2b30a6	Define a subequivalence method on Diffable.	2017-10-03 13:25:27 -04:00
Rob Rix	fcc24d572f	Rename the bindings in subalgorithmFor.	2017-10-03 13:25:17 -04:00
Rob Rix	1e14133272	Remove the suffix when we don’t know which side it’s on.	2017-10-03 12:40:24 -04:00
Rob Rix	9c49698894	Correct the docs for algorithmForTerms.	2017-10-03 12:40:24 -04:00
Rob Rix	b75fc8cc88	Name the variables in Diffable a1/a2 &c consistently.	2017-10-03 12:40:24 -04:00
Rob Rix	424d671178	Merge pull request #1373 from github/all-the-ord-instances ... All the Ord(1) instances	2017-10-03 09:32:02 -04:00
Rob Rix	b85aa53af9	Spacing.	2017-10-03 09:29:15 -04:00
Rob Rix	ac3646f925	Test that genericLiftCompare gives equivalent behaviour to compare for recursive types.	2017-10-03 09:29:06 -04:00
Rob Rix	5a024b40f7	Test that genericLiftCompare gives equivalent behaviour to compare for sum types.	2017-10-03 09:25:39 -04:00
Rob Rix	7e034fa4c1	Test that genericLiftCompare gives equivalent behaviour to compare for product types.	2017-10-03 09:23:44 -04:00
Rob Rix	6f4539cdce	Stub in a module for generically-implemented Ord1 specs.	2017-10-03 09:15:45 -04:00
Rob Rix	4a8ac5dd47	Merge branch 'master' into all-the-ord-instances	2017-10-02 17:23:47 -04:00
Timothy Clem	aa2af2ce02	Merge pull request #1378 from github/contextualize-ruby-comments ... Contextualize comments in Ruby assignment again	2017-10-02 13:40:44 -07:00
Timothy Clem	a82ff300e6	Merge branch 'master' into all-the-ord-instances	2017-10-02 13:28:32 -07:00
Timothy Clem	dfc7de34e7	Merge branch 'master' into contextualize-ruby-comments	2017-10-02 13:19:02 -07:00
Rob Rix	08aa166838	Merge pull request #1377 from github/🔥-identity-renderers ... 🔥 identity renderers	2017-10-02 14:30:59 -04:00
Rob Rix	b1ea8e0e2f	Merge pull request #1374 from github/🔥-line-by-line-parsing ... 🔥 line by line parsing	2017-10-02 14:25:32 -04:00
Timothy Clem	2ee98ab96f	These comments are part of Context now	2017-10-02 11:13:54 -07:00
Timothy Clem	68e9fada3f	Contextualize comments in Ruby assignment again	2017-10-02 11:02:26 -07:00
Rob Rix	960bfd9d41	🔥 redundant imports.	2017-10-02 10:32:00 -04:00
Rob Rix	4ba8dc5a89	🔥 the commented-out diffRecursively.	2017-10-02 10:29:54 -04:00
Rob Rix	09e3a79340	Update one of the ToC tests.	2017-10-02 10:29:47 -04:00
Rob Rix	1f6a1fcc0f	Migrate TOCSpec off of IdentityDiffRenderer.	2017-10-02 10:11:31 -04:00
Rob Rix	d7b72d71e0	🔥 IdentityDiffRenderer.	2017-09-29 15:33:43 -04:00
Rob Rix	2bd957153d	Use parseAndDiffBlobPair instead of IdentityDiffRenderer.	2017-09-29 15:33:13 -04:00
Rob Rix	5621830b41	Define a function to parse and diff a pair of blobs.	2017-09-29 15:33:02 -04:00
Rob Rix	c3a6912a14	🔥 Identity diff rendering.	2017-09-29 15:26:31 -04:00
Rob Rix	da671c56fc	🔥 a redundant import.	2017-09-29 15:25:45 -04:00