31026 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	43eeca7d10	Define a helper to merge edits.	2019-10-18 12:02:38 -04:00
Rob Rix	23d34a7c6e	🔥 redundant parens.	2019-10-18 11:59:27 -04:00
Rob Rix	b00715e247	🔥 the pattern synonyms.	2019-10-18 11:57:26 -04:00
Rob Rix	36ee5fcfce	Alignment.	2019-10-18 11:52:50 -04:00
Rob Rix	571cb74d43	Style.	2019-10-18 11:52:38 -04:00
Ayman Nadeem	44db35aba0	Merge pull request #243 from github/semantic-ast ... semantic-ast	2019-10-18 11:52:15 -04:00
Rob Rix	f36df7f972	🔥 the dependency on these.	2019-10-18 11:50:49 -04:00
Rob Rix	7a3c4ac5fc	🔥 the Bicrosswalk instance for Edit.	2019-10-18 11:50:16 -04:00
Rob Rix	9170893153	Inline the definition of bicrosswalk & alignWith.	2019-10-18 11:48:43 -04:00
Rob Rix	9813bdd5f0	🔥 the re-export of Data.These from Prologue.	2019-10-18 11:29:03 -04:00
Rob Rix	d1ab2e11c6	🔥 a redundant import.	2019-10-18 11:28:09 -04:00
Rob Rix	2a788703ba	Fix up some tests.	2019-10-18 11:28:03 -04:00
Ayman Nadeem	6c64e6eb99	Merge branch 'master' into semantic-ast	2019-10-18 11:27:02 -04:00
Rob Rix	9c67f48905	Fix some property names.	2019-10-18 11:26:50 -04:00
Rob Rix	939041c43a	tryAlignWith uses Edit.	2019-10-18 11:25:02 -04:00
Ayman Nadeem	67760145e8	case over Format	2019-10-18 11:23:37 -04:00
Ayman Nadeem	1537f43fde	add Pretty constructor to Format	2019-10-18 11:23:23 -04:00
Ayman Nadeem	fb5132d43f	pull pretty-simple into semantic-ast	2019-10-18 11:23:01 -04:00
Patrick Thomson	d3425d1b49	Merge pull request #340 from github/bump-lingo ... Bump lingo to 0.3 and remove hack associated with #333.	2019-10-18 11:21:49 -04:00
Rob Rix	a7dc70f474	🔥 diffThese.	2019-10-18 11:20:35 -04:00
Rob Rix	e8dacbe186	🔥 a redundant binding.	2019-10-18 11:17:24 -04:00
Ayman Nadeem	b0fb726d4d	case over format	2019-10-18 11:14:56 -04:00
Rob Rix	c80219296e	Redefine BlobPair as a type synonym.	2019-10-18 11:12:54 -04:00
Rob Rix	bf9a4e1260	Parsing produces an Edit of terms.	2019-10-18 11:09:06 -04:00
Rob Rix	5c6371b6db	Don’t qualify the names of the Edit constructors.	2019-10-18 10:59:00 -04:00
Rob Rix	759ca6d3cc	Define BlobPair using Edit.	2019-10-18 10:58:36 -04:00
Rob Rix	aef2f17dc1	Merge branch 'join-these-blobs-with-this-one-weird-trick' into edit-these-patch	2019-10-18 10:54:01 -04:00
Patrick Thomson	8289e7eb22	Merge remote-tracking branch 'origin/master' into bump-lingo	2019-10-18 10:53:36 -04:00
Patrick Thomson	d586ef70df	PVP lingo dep.	2019-10-18 10:53:15 -04:00
Rob Rix	2ea97efed8	Merge branch 'master' into join-these-blobs-with-this-one-weird-trick	2019-10-18 10:49:01 -04:00
Rob Rix	9cce18a921	🔥 Both.	2019-10-18 10:46:45 -04:00
Rob Rix	50c53c242f	🔥 the Listable1 instance for Both.	2019-10-18 10:46:41 -04:00
Rob Rix	6606d52841	Eliminate uses of Both.	2019-10-18 10:45:59 -04:00
Rob Rix	e2cc2790cc	Fix some doc comments.	2019-10-18 10:36:47 -04:00
Rob Rix	86389e8e87	Re-export Edit.	2019-10-18 10:33:47 -04:00
Rob Rix	9ef511b6f1	Write diffFilePaths using do notation.	2019-10-18 10:29:43 -04:00
Rob Rix	b8b9105a0a	Define readFilePathPair as a composition.	2019-10-18 10:27:42 -04:00
Rob Rix	29ceb4c8d6	Don’t export Both in the Prologue.	2019-10-18 10:26:20 -04:00
Patrick Thomson	00f9a1d892	Merge pull request #346 from github/toc-this-way ... ToC refactoring	2019-10-18 09:33:23 -04:00
Rob Rix	88c12a963b	🔥 toThese.	2019-10-17 22:54:16 -04:00
Rob Rix	6f0c2a6450	Diff directly in Edit.	2019-10-17 22:53:45 -04:00
Rob Rix	15fdc198bb	Don’t convert to These.	2019-10-17 22:53:35 -04:00
Rob Rix	55ee8b4f7a	Define a helper to diff an Edit of terms.	2019-10-17 22:53:21 -04:00
Rob Rix	b26c941b9c	🔥 SES.Edit.	2019-10-17 22:50:14 -04:00
Rob Rix	209f8871a5	Rename Patch to Edit.	2019-10-17 22:48:19 -04:00
Rob Rix	e4af857c5b	Rename Copy to Compare.	2019-10-17 22:44:57 -04:00
Rob Rix	7b37f3789f	Rename Data.Patch to Data.Edit.	2019-10-17 22:43:03 -04:00
Rob Rix	6b7ef7c725	🔥 before/after.	2019-10-17 22:39:34 -04:00
Rob Rix	b6caf8d98f	Move the ToJSONFields instance for Patch into Data.JSON.Fields.	2019-10-17 22:36:50 -04:00
Rob Rix	e6ffee0829	Import everything explicitly.	2019-10-17 22:35:43 -04:00