Rick Winfrey
d12a8d8e1b
Recursively construct If Syntaxes for nested If Terms
...
- Also adds Data.List (head)
2016-10-12 14:55:25 -05:00
Rick Winfrey
e4ac39547b
Construct BranchInfo for If nodes containing else-if clauses
...
- If a If node does not contain else-if clauses, we fall through and
construct LeafInfos
2016-10-12 12:38:21 -05:00
Rick Winfrey
a9d28f95c1
Break apart else clauses for If syntax nodes
...
- This is an intermediate step and not complete. We currently only
handle one level of else-if, rather than arbitrary levels of else-if.
2016-10-12 12:35:20 -05:00
Rick Winfrey
ddb39bdbcc
Update If Syntax to use a list to represent else conditions
...
- This lets us use a simple structure to break apart nested else-ifs
2016-10-12 12:32:55 -05:00
Rick Winfrey
55e2b7b1f9
Merge branch 'master' into if-else-if
2016-10-12 09:41:16 -05:00
Rick Winfrey
76bba89d3c
WIP updates
2016-10-12 09:39:48 -05:00
Josh Vera
2e6ca19522
Merge pull request #872 from github/development-mode
...
Add development mode
2016-10-11 19:13:41 -04:00
Rick Winfrey
d1b22c231d
Merge branch 'development-mode' of github.com:github/semantic-diff into development-mode
2016-10-11 17:07:43 -05:00
Rick Winfrey
5cfe719141
Fix the order of the then else conditions
2016-10-11 17:06:51 -05:00
Rick Winfrey
1b715da024
Merge branch 'master' into development-mode
2016-10-11 16:42:08 -05:00
Rick Winfrey
8e0cc3374d
++javascript
2016-10-11 16:41:53 -05:00
Timothy Clem
f40f995e56
Merge pull request #863 from github/add-source-spans
...
Add source spans to diff summaries
2016-10-11 14:34:47 -07:00
Rick Winfrey
d5d1a7fbab
++javascript
2016-10-11 15:33:38 -05:00
Rick Winfrey
e7c09831bc
Add development mode
...
When developing locally, especially when using break to look at
structure, the timeout is too quick. Instead of manually updating the
timeout to a long duration, I figure disabling it when needed in the
context of ghci would be nicer.
2016-10-11 15:22:37 -05:00
joshvera
3012594a7d
Merge branch 'improve-memory-usage' into add-source-spans
2016-10-11 16:18:38 -04:00
joshvera
6ba48666ed
bump files
2016-10-11 16:18:26 -04:00
joshvera
1bfdeb7f06
Merge remote-tracking branch 'origin/improve-memory-usage' into add-source-spans
2016-10-11 15:38:30 -04:00
joshvera
440d168273
bump tests
2016-10-11 15:13:51 -04:00
joshvera
deb5a0f018
Fix SourceSpan in tests
2016-10-11 15:12:48 -04:00
joshvera
098655b1d9
Remove filepath from SourceSpan
2016-10-11 15:09:24 -04:00
joshvera
c0ae593a06
Remove filepath from SourceSpan
2016-10-11 13:08:12 -04:00
joshvera
007a1580fe
Merge remote-tracking branch 'origin/master' into add-source-spans
2016-10-11 13:03:43 -04:00
Rick Winfrey
d4ac4427d3
Add comment
2016-10-11 12:02:52 -05:00
Rick Winfrey
4611283966
Merge pull request #869 from github/pull-first
...
Pull from remote when generating test cases
2016-10-11 12:01:10 -05:00
Rick Winfrey
9c7707297b
Clean up error handler
2016-10-11 11:55:28 -05:00
joshvera
e57c80940e
bump tests
2016-10-11 12:52:26 -04:00
joshvera
70d39544cb
Rename to filepath
2016-10-11 12:46:40 -04:00
Rick Winfrey
329ce63a8e
++tests
2016-10-11 11:07:57 -05:00
Rick Winfrey
1b80b748d7
Checkout master before attempting to pull from remote
2016-10-11 11:07:51 -05:00
joshvera
11d5cdcde7
Bump tests
2016-10-11 12:00:34 -04:00
joshvera
4fb07c28b6
Bump tests
2016-10-11 11:54:47 -04:00
joshvera
a9d216608f
Rename this/that/these to delete/insert/replace for consistency with Patch
2016-10-11 11:52:49 -04:00
joshvera
fbb6ddbff4
Bump tests
2016-10-11 11:26:57 -04:00
joshvera
a08cad66d0
++javascript
2016-10-11 11:13:44 -04:00
joshvera
399d01af97
update tests
2016-10-11 11:12:20 -04:00
joshvera
624918b113
remove files
2016-10-11 11:10:16 -04:00
Rick Winfrey
a8c133879c
Gracefully handle push to remote errors (and die when appropriate)
2016-10-11 10:03:48 -05:00
joshvera
d95283f4a1
Merge remote-tracking branch 'origin/master' into add-source-spans
2016-10-11 10:45:22 -04:00
Rick Winfrey
1569611257
Update JSONtestcases shas
2016-10-10 12:39:22 -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
Rick Winfrey
d055d2bc8d
Merge pull request #866 from github/import-export-syntax
...
Import / Export syntax
2016-10-07 17:56:50 -05:00
Rick Winfrey
ec0abb0f8c
Merge branch 'master' into import-export-syntax
2016-10-07 16:47:42 -05:00
Rick Winfrey
d6f9104237
Update tests
2016-10-07 16:43:01 -05:00
Rick Winfrey
d9660efdbe
Prevent double quoting for export statements
2016-10-07 16:42:47 -05:00
Rick Winfrey
9a3fccc1e1
Update tests
2016-10-07 15:58:51 -05:00
Rick Winfrey
c5546d5b3e
Merge pull request #868 from github/weekly-notes
...
Notes from weekly
2016-10-07 14:56:46 -05:00
Timothy Clem
7c6a849526
Notes from weekly
2016-10-07 12:37:31 -07:00
joshvera
f7e0cb53dd
++javascript
2016-10-07 11:29:44 -04:00
joshvera
c0a8483263
Merge remote-tracking branch 'origin/master' into add-source-spans
2016-10-07 11:28:57 -04:00