Patrick Thomson
ad385c93ae
Merge fallout.
2019-10-10 16:12:16 -04:00
Patrick Thomson
e21d35d98e
Merge remote-tracking branch 'origin/master' into separate-file-and-span-annotations
2019-10-10 15:42:53 -04:00
Patrick Thomson
00f250abe6
Merge pull request #322 from github/proper-continuations
...
[semantic-python] Give compile interface a “pure” continuation
2019-10-10 15:10:48 -04:00
Patrick Thomson
7d39423d26
Merge remote-tracking branch 'origin/master' into proper-continuations
2019-10-10 14:43:56 -04:00
Rob Rix
13907fd269
Correct the semantic-python tests.
2019-10-10 14:18:56 -04:00
Rob Rix
1166a1c789
🔥 locFromTSSpan.
2019-10-10 14:14:04 -04:00
Rob Rix
bb81dd0ee1
Drop an obsolete stripAnnotations.
2019-10-10 14:11:34 -04:00
Rob Rix
a1a6270c01
🔥 Path annotations.
2019-10-10 14:10:35 -04:00
Rob Rix
61a2cd396b
🔥 some Path annotations.
2019-10-10 14:09:30 -04:00
Rob Rix
c19a373bf3
Fix the tests.
2019-10-10 14:06:47 -04:00
Rob Rix
1e326d7fb8
Don’t re-export Trifecta.
2019-10-10 14:05:59 -04:00
Rob Rix
6681639dd5
Rearrange stripAnnotations’ type parameters.
2019-10-10 14:05:50 -04:00
Rob Rix
8880278961
🔥 Loc.
2019-10-10 13:56:22 -04:00
Rob Rix
20c6d12b03
🔥 a redundant language extension.
2019-10-10 13:55:52 -04:00
Rob Rix
31b1eae78e
🔥 interactive.
2019-10-10 13:55:13 -04:00
Rob Rix
177fb8d05c
Correct a doctest.
2019-10-10 13:52:07 -04:00
Rob Rix
5433cad022
Store local Refs.
2019-10-10 13:51:18 -04:00
Rob Rix
f15feb0ca3
🔥 askLoc.
2019-10-10 13:49:36 -04:00
Rob Rix
ef36ded16c
Inline the Loc into Ref.
2019-10-10 13:48:39 -04:00
Rob Rix
e2092e8a52
Inline the Loc into Decl.
2019-10-10 13:47:12 -04:00
Rob Rix
5b4a1d3d9d
Inline the Loc into Concrete.
2019-10-10 13:44:45 -04:00
Rob Rix
5dd2b1185d
Inline the Loc into Semi.
2019-10-10 13:44:00 -04:00
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
fc29ea0655
Double whoops
2019-10-09 16:43:45 -04:00
Patrick Thomson
b58abb4a85
Whoops
2019-10-09 16:39:44 -04:00
Patrick Thomson
e419e33a50
Make compile interface use a more powerful continuation.
2019-10-09 14:50:53 -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
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