16227 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	045dc992cd	Don’t export the GShow1 methods.	2017-09-29 11:43:13 -04:00
Rob Rix	0624c9af74	Explicitly export genericLiftCompare & re-export Ord1.	2017-09-29 11:42:05 -04:00
Rob Rix	2ba30e3fee	Give a generic derivation suitable for liftCompare.	2017-09-29 11:41:43 -04:00
Rob Rix	fe53309b05	Define a generically-derivable lifting of Ord to * -> *.	2017-09-29 11:41:24 -04:00
Rob Rix	f1e89b647d	Stub in a module for a generic Ord1 implementation.	2017-09-29 11:37:18 -04:00
Josh Vera	32055efa42	Merge pull request #1325 from github/typescript-assignment ... Typescript assignment	2017-09-28 17:43:05 -07:00
joshvera	54444ab54d	s/Function/FunctionType	2017-09-28 17:27:57 -07:00
joshvera	3384a3689d	fix tests	2017-09-28 17:17:39 -07:00
joshvera	9c9c66537a	remove disambiguation	2017-09-28 17:05:44 -07:00
joshvera	c4abe09827	Rename Function to FunctionType	2017-09-28 16:48:37 -07:00
joshvera	f42f0b9f0e	remove strictness annotations	2017-09-28 15:11:18 -07:00
joshvera	8ed09e3af7	newtype javascript expressions	2017-09-28 15:10:08 -07:00
joshvera	b3667104fb	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-28 14:24:57 -07:00
Rob Rix	702e992013	Merge pull request #1365 from github/musical-chairs ... Move Patch, Term, Diff, & SplitDiff into the Data hierarchy	2017-09-28 11:42:46 -04:00
Rob Rix	9c664e5460	Merge branch 'master' into musical-chairs	2017-09-28 11:36:02 -04:00
Rob Rix	d95cee9909	Merge pull request #1340 from github/substructural-diffing ... Substructural diffing	2017-09-28 11:34:16 -04:00
Rob Rix	7bed8fee3e	Define a test that diffTerms compares nodes against the subject position within Context nodes.	2017-09-28 11:24:51 -04:00
Rob Rix	c5cf4ee6a4	Define a mergeF operator for a single level of a term.	2017-09-28 11:24:12 -04:00
Rob Rix	7595062d05	Use the merging function in the tests.	2017-09-28 10:40:23 -04:00
Rob Rix	46b98c3ec2	Define a merging operator for Diff.	2017-09-28 10:29:02 -04:00
Rob Rix	d6873820dc	Merge branch 'master' into substructural-diffing	2017-09-28 10:25:29 -04:00
Rob Rix	0ef29d25b9	Merge pull request #1360 from github/test-rws-permutations ... Test RWS permutations	2017-09-28 09:27:34 -04:00
Rob Rix	89b929d332	Merge branch 'master' into test-rws-permutations	2017-09-28 09:13:02 -04:00
Josh Vera	337816f63c	Merge branch 'master' into typescript-assignment	2017-09-27 16:33:59 -06:00
Rob Rix	76fe19e66a	Merge pull request #1363 from github/diff-multiple-file-pairs-on-the-command-line ... Diff one or more pairs of files.	2017-09-27 16:35:07 -04:00
Rob Rix	26d44ae2f0	Merge the Decorators module into Data.Syntax.Algebra.	2017-09-27 12:54:01 -04:00
Rob Rix	bdc020dd5a	Move the Syntax identifier algebra into Data.Syntax.Algebra.	2017-09-27 12:53:25 -04:00
Rob Rix	e7a402b29d	Spacing.	2017-09-27 12:48:01 -04:00
Rob Rix	1cab700d82	Rename the SplitDiff module to Data.SplitDiff.	2017-09-27 12:43:11 -04:00
Rob Rix	b31043a3eb	Rename the Diff module to Data.Diff.	2017-09-27 12:41:41 -04:00
Rob Rix	9bd0b02ac9	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00
Rob Rix	e8b7e89dca	Rename the Patch module to Data.Patch.	2017-09-27 12:29:07 -04:00
Rob Rix	d74c83fd9e	Diff one or more pairs of files.	2017-09-27 11:02:11 -04:00
Rob Rix	de1acea9fc	📝 runAlgorithm.	2017-09-26 13:20:47 -04:00
Rob Rix	d853a2d7ee	📝 subalgorithmFor.	2017-09-26 13:03:49 -04:00
Rob Rix	1e7f9b8862	📝 algorithmFor.	2017-09-26 13:03:44 -04:00
Rob Rix	b1560c1da5	Mark while-statement.diffB-A as pending on #1359.	2017-09-26 12:27:04 -04:00
Rob Rix	22ae1c1192	Pass the pending message along with the output file path.	2017-09-26 12:26:13 -04:00
Rob Rix	e88c9b0e56	Allow integration specs to be marked as pending.	2017-09-26 12:23:16 -04:00
Rob Rix	8cf834154d	Fix the commented out spec.	2017-09-26 12:14:36 -04:00
Rob Rix	89ab11d291	Merge branch 'test-rws-permutations' into substructural-diffing	2017-09-26 12:10:32 -04:00
Rob Rix	d91e8d8464	🔥 the before/after permutation properties.	2017-09-26 12:06:41 -04:00
Rob Rix	06a929528a	Mark the forward permutation diff test as pending.	2017-09-26 10:11:00 -04:00
Rob Rix	0ed594cfab	Restrict a, b, and c to be disjoint.	2017-09-26 10:09:54 -04:00
Rob Rix	69aae9986d	Ensure that c is distinct from both a and b.	2017-09-26 09:59:31 -04:00
Rob Rix	6608ab48e3	Add (failing) tests that forward/backward permutations are correctly diffed as changes.	2017-09-26 09:56:47 -04:00
Rob Rix	58338d6af2	Add tests that we recover before/after states through forward/backward permutations.	2017-09-26 09:50:50 -04:00
Rob Rix	01e8e1725f	Move the listable Syntax synonym into Data.Functor.Listable.	2017-09-26 09:48:59 -04:00
Rob Rix	c9e4968d93	Migrate the RWS tests to à la carte syntax.	2017-09-26 09:44:42 -04:00
Rob Rix	d54f8b34c2	Export comparableByConstructor & equivalentTerms again.	2017-09-26 09:44:25 -04:00