Rick Winfrey
4128798b34
Add Term.Instances to cabal file
2016-11-01 16:39:11 -05:00
Rick Winfrey
41cf3f32ee
Remove general ToJSON instance for SyntaxTerm in Term.hs
2016-11-01 16:38:57 -05:00
Rick Winfrey
73dd1ec8a8
Create Term.Instances module
...
- This allows us to differentiate between ToJSON instances for
SyntaxTerm
2016-11-01 16:38:28 -05:00
Rick Winfrey
b20e4c195f
Add ToJSON (Record fields) type class constraints
2016-11-01 15:04:43 -05:00
Rick Winfrey
61bdea425d
Add generic ToJSON Cost instance
2016-11-01 15:04:16 -05:00
Rick Winfrey
72899821bc
Add generic ToJSON instance for Syntax
2016-11-01 15:03:18 -05:00
Rick Winfrey
0b0dcdc274
Add general SyntaxTerm ToJSON instance
2016-11-01 15:03:02 -05:00
Rick Winfrey
9168795a1d
Add newtype JSONSyntaxTerm ToJSON instance
2016-11-01 15:02:26 -05:00
Rick Winfrey
c4feca3e5b
Add Record general ToJSON instances
2016-11-01 15:01:43 -05:00
Rick Winfrey
2aa2179b41
Merge pull request #898 from github/json-api
...
Update JSON Output Format
2016-11-01 10:34:38 -05:00
Josh Vera
d4d99d359e
Merge branch 'master' into json-api
2016-11-01 11:20:29 -04:00
Josh Vera
412e8a9587
Merge pull request #899 from github/javascript-exhaustion
...
Produce error nodes if productions don't match expected shape
2016-11-01 11:19:13 -04:00
Rick Winfrey
fb73232449
Verify tests and generation are 👌
2016-11-01 10:19:04 -05:00
Rick Winfrey
63c30662b2
Remove remaining EmptyResult reference
2016-11-01 10:18:41 -05:00
Rick Winfrey
582e7ce978
Remove NamespaceImport Category (unrelated change)
2016-11-01 10:09:05 -05:00
Rick Winfrey
d09d0d65d2
Remove EmptyResult constructor (no longer used)
2016-11-01 10:06:55 -05:00
Rick Winfrey
c058ac634d
Remove auto-formatted alignment
2016-11-01 10:06:36 -05:00
Rick Winfrey
67adf75fdf
++JavaScript tests
2016-11-01 10:03:25 -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
35ff284569
Remove warning unnecessary do
2016-11-01 09:52:09 -05:00
Rick Winfrey
d9adbe8783
Simplify JSONMetaRepo fields
2016-11-01 09:51:54 -05:00
Timothy Clem
ada47c7208
Error if for statements don't match expected shape
2016-10-31 13:47:51 -07:00
Timothy Clem
4f3e5fa069
Produce error nodes if productions don't match expected shape
2016-10-31 13:29:58 -07: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
aa724c4159
Preserve original type class constraint order
2016-10-28 07:56:26 -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
532a29aeec
Rename SemanticGitDiffSpec.hs -> IntegrationFormatSpec.hs
2016-10-27 21:09:04 -05:00
Rick Winfrey
b2709315c5
Rename for better consistency
2016-10-27 20:51:23 -05:00
Rick Winfrey
cb28917573
Add JSON format tests to integration-test
2016-10-27 20:51:09 -05:00
Rick Winfrey
8c3d9d0d76
Add JSON output format JavaScript JSONTestCases
2016-10-27 20:46:12 -05:00
Rick Winfrey
16c6e1da59
++diff-summary javascript test cases
2016-10-27 20:44:36 -05:00
Rick Winfrey
3cfbcd102d
Update SemanticGitDiffSpec to handle ExpectedResult data type
2016-10-27 20:43:30 -05:00
Rick Winfrey
4936f282ad
Simplify the structure of generator files; update GenerateTestCases
2016-10-27 20:42:46 -05:00
Rick Winfrey
df231ca64c
Add ToJSON and FromJSON instances for JSONTestCase and ExpectedResult
2016-10-27 20:40:20 -05:00
Rick Winfrey
4ac2608749
Add HashMap
2016-10-27 20:23:31 -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
3a073a2849
Add NamespaceImport category to Split Renderer
2016-10-26 17:13:29 -05:00
Rick Winfrey
93f5464ad2
Add NamespaceImport category to DiffSummary
2016-10-26 17:13:14 -05:00
Rick Winfrey
682a1323fe
Add ExpectedResult type
...
- This enables the use of Effects so that we can run multiple effects
that generate different IO values, but are typed singularly as an
ExpectedResult type
2016-10-26 17:02:04 -05:00
Rick Winfrey
a31a883b30
Auto formatting
2016-10-26 17:01:15 -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
Rick Winfrey
203836fe74
Add effects to semantic-diff ⚡
2016-10-26 16:53:50 -05:00
Rick Winfrey
f77242e20e
Add effects submodule
2016-10-25 14:27:34 -05:00
Rick Winfrey
d23a2ccd8b
Add NamespaceImport category to end of list, so as not to affect the hash values
2016-10-24 13:43:22 -05:00
Rick Winfrey
000774bed5
Use NamespaceImport category in JavaScript
2016-10-24 12:26:07 -05:00