joshvera
8dbac2c98a
switch statements
2016-11-10 16:19:53 -05:00
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
joshvera
05f3929b6a
Merge remote-tracking branch 'origin/master' into go-parser
2016-11-01 12:48:15 -04: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
7809618716
Add template syntax support
2016-10-18 16:10:22 -04: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