Rob Rix
e949f88517
🔥 fileLoc.
2019-10-10 13:41:55 -04:00
Rob Rix
4ca2990346
Revert "Rename Control.Carrier.Fail.WithLoc to .WithFile."
...
This reverts commit 4c58f0877e
.
2019-10-10 13:41:17 -04:00
Rob Rix
c414161679
Revert "Return the message in a File."
...
This reverts commit 1ec98e9c05
.
2019-10-10 13:41:14 -04:00
Rob Rix
1ec98e9c05
Return the message in a File.
2019-10-10 13:40:49 -04:00
Rob Rix
4c58f0877e
Rename Control.Carrier.Fail.WithLoc to .WithFile.
2019-10-10 13:38:56 -04:00
Rob Rix
6a0be9cf09
Split up Loc annotations.
2019-10-10 13:36:58 -04:00
Rob Rix
200c3edf77
Evaluate doubly-annotated terms.
2019-10-10 13:30:01 -04:00
Rob Rix
dfceb329f9
Split Loc annotations into separate Path & Span readers.
2019-10-10 13:26:09 -04:00
Rob Rix
c97c8c7e12
Inline Loc into File.
2019-10-10 13:12:32 -04:00
Rob Rix
d044ea2fc4
Add a newtype wrapper around Path.
2019-10-10 13:08:14 -04:00
Rob Rix
2be7c29dad
Parameterize Ann with the annotation type.
2019-10-10 13:06:02 -04:00
Rob Rix
6237832684
Merge pull request #320 from github/standardize-compilation-names
...
[semantic-python] Remove problematic `compile` and rename `compileCC`.
2019-10-10 12:14:40 -04:00
Patrick Thomson
3fa80d5095
Fix Rob's suggestions.
2019-10-10 10:30:42 -04:00
Patrick Thomson
a1c9547c8f
Compile Python decorators.
2019-10-09 17:41:57 -04:00
Rick Winfrey
0c5dbadc05
Update Language spec
2019-10-09 14:23:30 -07:00
Patrick Thomson
fc29ea0655
Double whoops
2019-10-09 16:43:45 -04:00
Patrick Thomson
b58abb4a85
Whoops
2019-10-09 16:39:44 -04:00
Rick Winfrey
e07d63f284
Java as code nav language; update javaParser
2019-10-09 12:56:50 -07:00
Patrick Thomson
f5c9697357
convert Call to pass its arguments properly.
2019-10-09 15:01:03 -04:00
Patrick Thomson
ccfa49aaee
Merge branch 'proper-continuations' into compile-python-calls
2019-10-09 14:52:50 -04:00
Patrick Thomson
e419e33a50
Make compile interface use a more powerful continuation.
2019-10-09 14:50:53 -04:00
Patrick Thomson
cc572947c2
account for new compilation
2019-10-09 12:59:30 -04:00
Patrick Thomson
ae1430c6a2
Merge branch 'standardize-compilation-names' into compile-python-calls
2019-10-09 12:57:38 -04:00
Patrick Thomson
9091a43804
s/compileCC/compile
2019-10-09 12:55:15 -04:00
Patrick Thomson
3f539abfb6
Make compile interface internal and provide toplevelCompile instead.
2019-10-09 12:47:03 -04:00
Patrick Thomson
dab8a04266
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-09 11:52:10 -04:00
Rob Rix
1034cd5e39
Merge pull request #314 from github/ 🔥 -ts-parse
...
🔥 ts parse
2019-10-09 08:55:36 -04:00
Rob Rix
603f377f78
Merge pull request #319 from github/pathtype-round-2
...
Make the -o option demand a file path.
2019-10-08 19:55:59 -04:00
Rob Rix
427a131621
🔥 a redundant import.
2019-10-08 19:21:30 -04:00
Patrick Thomson
c12eca0c00
Pathtype comes with a shim for withBinaryFile.
2019-10-08 18:57:28 -04:00
Patrick Thomson
4110353b63
Make the -o option demand a file path.
...
You can test this like so:
```
cabal run semantic -- -o /tmp/blah/ parse --json --gitDir .git --sha HEAD
option -o: "/tmp/blah/" is not a valid file path
```
This would previously fail at runtime with a less informative error message:
```
/tmp/blah/: openBinaryFile: inappropriate type (Not a directory)
```
2019-10-08 18:52:28 -04:00
Patrick Thomson
d998c40043
Merge branch 'master' into 🔥 -ts-parse
2019-10-08 18:28:03 -04:00
Patrick Thomson
3e65913d27
Fix a build error.
2019-10-08 18:24:36 -04:00
Rob Rix
e57359a8bf
Merge branch 'master' into 🔥 -ts-parse
2019-10-08 18:00:56 -04:00
Patrick Thomson
2036569a09
Merge pull request #312 from github/remove-shelly
...
Remove shelly in favor of streaming-bytestring and utf8-string.
2019-10-08 17:58:59 -04:00
Patrick Thomson
d6dcfa7435
Merge pull request #313 from github/precise-json
...
Precise JSON
2019-10-08 17:57:06 -04:00
Rob Rix
2291e0c97d
Merge branch 'precise-json' into 🔥 -ts-parse
2019-10-08 17:37:29 -04:00
Rob Rix
8936bede79
Update the JSON ASTs.
2019-10-08 17:35:06 -04:00
Rob Rix
c02f56da1a
🔥 the JSON diffs.
2019-10-08 17:34:56 -04:00
Patrick Thomson
8368950c03
Merge branch 'master' into remove-shelly
2019-10-08 16:52:07 -04:00
Rob Rix
1569f6fffc
Merge branch 'master' into precise-json
2019-10-08 16:51:53 -04:00
Patrick Thomson
2592c9b93b
Merge pull request #318 from github/remove-reprinter-and-rewriter
...
Remove experimental reprinting and rewriting facilities.
2019-10-08 16:51:24 -04:00
Rob Rix
1535805747
Turn errors on in CI.
...
These are explicitly disabled by our .ghci file, so we can do this without compromising workflows involving GHCI too much.
2019-10-08 16:46:35 -04:00
Rob Rix
b053774ede
Merge branch 'remove-reprinter-and-rewriter' into precise-json
2019-10-08 16:32:19 -04:00
Rob Rix
757fa00b03
Indentation.
2019-10-08 16:30:56 -04:00
Rob Rix
7d0eb24bb7
🔥 a redundant language extension.
2019-10-08 16:08:22 -04:00
Rob Rix
e99116d030
Alignment.
2019-10-08 16:07:24 -04:00
Rob Rix
c98ab329a2
🔥 redundant parens.
2019-10-08 16:06:35 -04:00
Rob Rix
b8812623ce
Further purging of language extensions.
2019-10-08 16:04:20 -04:00
Rob Rix
5928991c72
🔥 a redundant import.
2019-10-08 16:02:29 -04:00