github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
30,302 Commits 19 Branches 16 Tags 46 MiB
05116d5483
Commit Graph

30302 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
05116d5483 Merge remote-tracking branch 'origin/master' into location-location-location 2019-10-10 17:57:12 -04:00
Patrick Thomson
4a9d1ec28c Remove unnecessary Applicative constraint from locate. 
Now that syntax comes with paths, `locate` doesn't need to ask any
calling context for path information, so this function can be pure. I
was a fan of the way that the `>>= locate it` pattern looked, but this
is simpler and, given some slight textual fixups, as readable as before.
 2019-10-10 17:53:56 -04:00
Patrick Thomson
505ed13d9d
Merge pull request #326 from github/fix-dockerfile 
Get build working again in Dockerfile
 2019-10-10 17:47:42 -04:00
Patrick Thomson
7aca6fdf4c
Merge pull request #323 from github/add-java-to-supported-langs 
Add Java as supported code nav language
 2019-10-10 17:47:06 -04:00
Patrick Thomson
a6a790cc17
Merge branch 'master' into add-java-to-supported-langs 2019-10-10 16:44:48 -04:00
Patrick Thomson
2c07349295
Merge pull request #325 from github/separate-file-and-span-annotations 
Separate file and span annotations
 2019-10-10 16:44:19 -04:00
Timothy Clem
02b63fb0eb Get build working again in Dockerfile 2019-10-10 13:35:00 -07:00
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
Rick Winfrey
177abed7a3
Merge branch 'master' into add-java-to-supported-langs 2019-10-10 12:19:48 -07: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
Rick Winfrey
aa80efa893
Merge branch 'master' into add-java-to-supported-langs 2019-10-10 11:43:22 -07: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
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
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