15938 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6640e4ebcb	Realign the type signature for nearestUnmapped.	2017-09-14 10:23:35 -04:00
Rob Rix	43a3970c30	Move the constant-time edit distance approximation into RWS.	2017-09-14 10:23:00 -04:00
Rob Rix	7bf7fd551e	Generalize the constant-time edit distance approximation function.	2017-09-14 10:17:02 -04:00
Rob Rix	3629d9114b	Generalize editDistanceUpTo over the annotation types.	2017-09-14 10:15:23 -04:00
Rob Rix	58d6002f52	Pass the k-d trees around separately.	2017-09-14 10:08:12 -04:00
Rob Rix	535933ff67	Generalize nearestUnmapped over the annotation types.	2017-09-14 10:06:11 -04:00
Rob Rix	8535089860	Generalize editDistanceIfComparable over the annotation types.	2017-09-14 10:03:54 -04:00
Rob Rix	c0b3cf0556	Generalize equalTerms over the annotation types.	2017-09-14 10:03:46 -04:00
Rob Rix	cb9235749a	Generalize canCompareTerms over the annotation types.	2017-09-14 10:03:37 -04:00
Rob Rix	404b51b70e	Reformat editDistanceIfComparable’s type signature.	2017-09-14 10:02:07 -04:00
Rob Rix	334c43796b	Generalize insertion over the annotation types.	2017-09-14 10:01:34 -04:00
Rob Rix	840a15982c	Reindent insertion.	2017-09-14 10:00:48 -04:00
Rob Rix	0c95006f37	Rename some type parameters.	2017-09-14 10:00:15 -04:00
Rob Rix	3df93e09dd	Abstract UnmappedTerm & UnmappedTerms over the annotation type.	2017-09-14 09:59:24 -04:00
Rob Rix	17fd98fb9a	Abstract the MappedDiff synonym over the annotation types.	2017-09-14 09:56:57 -04:00
Rob Rix	db88041a18	Abstract the RWSEditScript synonym over the annotation types.	2017-09-14 09:54:18 -04:00
Rob Rix	aef9c4c486	Abstract the Diff synonym in RWS over the annotation types.	2017-09-14 09:53:03 -04:00
Rob Rix	650fe721ae	🔥 a redundant import.	2017-09-14 09:50:07 -04:00
Rob Rix	9cd9071f70	Abstract ComparabilityRelation over the annotation types.	2017-09-14 09:49:06 -04:00
Rob Rix	e624cbd562	Rename the syntax type parameter in RWS.	2017-09-14 09:44:37 -04:00
Rob Rix	bfc0b9d0b0	Give Diff a pair of type parameters for the annotation types.	2017-09-14 09:41:52 -04:00
Rob Rix	b20ec9dddf	Reformat a couple of type signatures.	2017-09-13 22:14:02 -04:00
Rob Rix	547da73009	Define a patch helper to eliminate Patches.	2017-09-13 21:55:41 -04:00
Rob Rix	cf9d752d43	Parameterize Patch by before and after types.	2017-09-13 21:37:23 -04:00
Rob Rix	f6f61d4b3a	🔥 mapPatch.	2017-09-13 21:36:59 -04:00
Rob Rix	42b83b0e6d	Add a second annotation type parameter to Algorithm.	2017-09-13 20:42:02 -04:00
Rob Rix	bf2de994ac	Curry diffing operations.	2017-09-13 19:34:27 -04:00
Rob Rix	8816a1b705	Parameterize Algorithm by the annotation type.	2017-09-13 19:18:38 -04:00
Rob Rix	9de429be45	🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.	2017-09-13 19:14:01 -04:00
joshvera	6bd68b48e5	update ambient declaration tests	2017-09-13 19:11:46 -04:00
joshvera	401ecd4a38	Add Identifier' as a separate clause	2017-09-13 19:05:10 -04:00
Rob Rix	d612b22fca	Make the term parameter * -> *.	2017-09-13 18:59:38 -04:00
joshvera	f5d793ea04	Add methodSignature and indexSignature to classBodyStatements	2017-09-13 18:53:18 -04:00
joshvera	aa0b5e6028	Remove Identifier' from identifier definition	2017-09-13 18:53:06 -04:00
Rob Rix	d353f798c5	Add annotation parameters to Algorithm.	2017-09-13 18:52:27 -04:00
Timothy Clem	01392f75e5	Merge branch 'slurp' into ruby-assignment-ftw	2017-09-13 15:44:03 -07:00
Timothy Clem	bd89716047	Flatten single child expressions	2017-09-13 15:43:19 -07:00
Timothy Clem	d99bafaac4	No contextualize for comments here	2017-09-13 15:42:24 -07:00
joshvera	0e853a5f38	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-13 18:40:29 -04:00
Rob Rix	b193c30ef9	Merge branch 'master' into directed-acyclic-diffs	2017-09-13 16:19:10 -04:00
Timothy Clem	d028b569d2	Merge branch 'slurp' into ruby-assignment-ftw	2017-09-13 13:11:23 -07:00
Rob Rix	f4789ee49e	🔥 a few unused ToJSONFields* instances.	2017-09-13 16:10:29 -04:00
Timothy Clem	2064db2da8	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-13 13:10:12 -07:00
Rob Rix	20e0943c72	🔥 the Sum inside Patch nodes.	2017-09-13 16:07:22 -04:00
Rob Rix	0ec9584a6d	Correct the tests.	2017-09-13 16:03:27 -04:00
Rob Rix	1c9ad27288	🔥 Data.Functor.Binding.	2017-09-13 16:00:39 -04:00
Rob Rix	72574bd836	Diffs don’t need let-bindings.	2017-09-13 15:59:34 -04:00
Timothy Clem	20cd4eb10d	Fix up script/profile	2017-09-13 12:51:28 -07:00
Rob Rix	89f7101e27	📝 Env stuff.	2017-09-13 15:48:02 -04:00
Rob Rix	b118bb5b38	📝 a bunch of Binding stuff.	2017-09-13 15:47:18 -04:00