476 Commits

Author	SHA1	Message	Date
Rick Winfrey	63c30662b2	Remove remaining EmptyResult reference	2016-11-01 10:18:41 -05:00
Rick Winfrey	b2d6728a78	Simplify help language for -s and -j	2016-11-01 10:01:28 -05:00
Rick Winfrey	cd19f63129	Omekasify the test case generator ... - convention for repo file path - convention for test case file path - convention for location of repo - now requires a generate flag (for summary or json expectedResult output)	2016-11-01 09:53:28 -05:00
Rick Winfrey	e87e54302f	Add documentation for Eff related functions	2016-10-31 15:03:12 -05:00
Rick Winfrey	416536d882	Add missing parens	2016-10-28 08:09:37 -05:00
Rick Winfrey	282c7abd4e	Remove unnecessary comment	2016-10-28 07:44:13 -05:00
Rick Winfrey	5b7fc1e256	Remove GenerateAll as we don't support that functionality yet	2016-10-28 07:43:57 -05:00
Rick Winfrey	4936f282ad	Simplify the structure of generator files; update GenerateTestCases	2016-10-27 20:42:46 -05:00
Rick Winfrey	c11b40cd60	We never need to bind when running an effect ... - Also remove `error` by returning an EmptyResult	2016-10-26 17:31:10 -05:00
Rick Winfrey	5ba5c50549	Add GADTs and DataKinds extensions	2016-10-26 16:59:27 -05:00
Rick Winfrey	51ab5524a0	Add GenerateEff effect type, interpreter and run functions	2016-10-26 16:59:13 -05:00
Rick Winfrey	47a58e9963	Add GenerateFormat and pattern match CLI arguments	2016-10-26 16:55:08 -05:00
joshvera	007a1580fe	Merge remote-tracking branch 'origin/master' into add-source-spans	2016-10-11 13:03:43 -04:00
Rick Winfrey	9c7707297b	Clean up error handler	2016-10-11 11:55:28 -05:00
Rick Winfrey	1b80b748d7	Checkout master before attempting to pull from remote	2016-10-11 11:07:51 -05:00
Rick Winfrey	a8c133879c	Gracefully handle push to remote errors (and die when appropriate)	2016-10-11 10:03:48 -05:00
Rick Winfrey	c5deaa384e	Rename runUpdateGitRemote -> runPushGitRemote	2016-10-10 12:38:46 -05:00
Rick Winfrey	d4818deb1e	Fetch remote repository changes	2016-10-10 12:38:28 -05:00
joshvera	c0a8483263	Merge remote-tracking branch 'origin/master' into add-source-spans	2016-10-07 11:28:57 -04:00
Timothy Clem	f004a5c3db	New path for test corpus	2016-10-05 17:16:59 -07:00
Timothy Clem	6cbfa91475	Try out moving project around	2016-10-05 16:17:46 -07:00
Rob Rix	686c94d69f	Move the semantic-diff executable to a semantic-git-diff package.	2016-02-26 20:34:30 -05:00
Rob Rix	f9bca5ec2d	Set up a semantic-difftool package.	2016-02-26 18:05:10 -05:00
Rob Rix	0892dfd49e	Move DiffOutput into the library.	2016-02-26 17:56:38 -05:00
joshvera	d7db984616	Merge remote-tracking branch 'origin/master' into git-patch-modes	2016-02-22 13:54:32 -07:00
joshvera	4e28026019	remove diff	2016-02-22 13:40:08 -07:00
Matt Diephouse	5127376e68	diffFiles :: Parser -> Renderer T.Text b -> (Source Char, Source Char) -> IO b	2016-02-16 16:09:58 -05:00
Matt Diephouse	4c6c9b4f72	Centralize logic in parserForType	2016-02-10 15:07:27 -08:00
Matt Diephouse	f45fd562a1	Move languageForType to Language	2016-02-10 14:32:11 -08:00
joshvera	e008fda7d1	output the right paths in patch	2016-02-10 11:32:26 -08:00
Matt Diephouse	76a115a77c	Make Language a sum type of programming languages	2016-02-10 11:30:32 -08:00
Matt Diephouse	e35da995a2	Let's call this treeSitterParser	2016-02-10 11:02:51 -08:00
joshvera	a812b41c27	Merge branch 'source-blobs' into git-patch-modes	2016-02-09 13:18:43 -08:00
Rob Rix	cc2c0b7883	Merge pull request #420 from github/the-final-documentation ... The final documentation	2016-02-03 17:24:55 -05:00
Matt Diephouse	b351f5faca	Document Parsers.hs	2016-02-03 13:25:30 -05:00
Matt Diephouse	9c7d3f97b6	Merge branch 'master' into belly-of-the-beast ... # Conflicts: # app/Main.hs	2016-02-02 11:58:59 -05:00
Matt Diephouse	1f7df7d940	Remove unnecessary imports	2016-02-02 11:46:39 -05:00
Matt Diephouse	6a961ff6ff	Restore changes lost from #402, #408, and #410	2016-02-02 11:46:31 -05:00
joshvera	1b44c44aea	Revert "--RecordWildCards" ... This reverts commit 74c1cd9b5dafc1ba38014d90097a2ac7a7b75c7c.	2016-02-01 15:52:17 -05:00
joshvera	ce87286049	--RecordWildCards	2016-02-01 15:50:22 -05:00
joshvera	724910bf7a	Merge remote-tracking branch 'origin/master' into git-diff	2016-02-01 14:48:30 -05:00
Matt Diephouse	d76fbfa60e	No IO needed	2016-01-28 16:14:24 -05:00
joshvera	8c7d82b363	store strings in SourceBlob	2016-01-26 16:46:27 -05:00
joshvera	d0a3c517a9	Pass around source blobs with oid info	2016-01-26 16:25:40 -05:00
Matt Diephouse	45de586389	Merge branch 'master' into unified	2016-01-22 11:04:53 -05:00
Matt Diephouse	0671d46590	Fix off-by-one error	2016-01-22 10:27:00 -05:00
Matt Diephouse	b074325f67	Make unified into a Renderer of [Chunk String]	2016-01-21 13:27:16 -05:00
Matt Diephouse	160c2e309a	Pass the chunk renderer into unified	2016-01-21 13:05:15 -05:00
joshvera	b4dc0056ec	fix unused variable warning	2016-01-20 12:27:01 -05:00
joshvera	5fd539765c	Share printDiff	2016-01-20 12:25:17 -05:00