25 Commits

Author	SHA1	Message	Date
Rick Winfrey	e8fbb83bbc	Merge branch 'master' into test-case-format-updates	2016-11-03 18:06:00 -05:00
Timothy Clem	b62deb19bf	Show diffs in test cases. sha1, sha2 -> shas	2016-11-03 15:41:59 -07:00
Timothy Clem	8a52ed1dd7	Whole new code generate path when you have a template	2016-11-03 13:01:48 -07:00
Timothy Clem	4a3ded2302	Enable syntax level templating in test case generation	2016-11-03 11:07:10 -07:00
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