1
1
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Commit Graph

30137 Commits

Author SHA1 Message Date
Rob Rix
150ce9b7f3
There isn’t any à la carte Java. 2019-10-02 18:01:31 -04:00
Rob Rix
30d11fe288
Merge branch 'list-parsers-independently' into semantic-java 2019-10-02 17:44:51 -04:00
Rob Rix
116e5b385a
Merge branch 'master' into semantic-java 2019-10-02 17:32:09 -04:00
Timothy Clem
54eb044136 Minor cleanup 2019-10-02 14:21:02 -07:00
Timothy Clem
1232cc372a Don't need to hide readFile 2019-10-02 13:53:16 -07:00
Timothy Clem
5fbcca4fe4 Merge remote-tracking branch 'origin/master' into proto-lens 2019-10-02 13:49:32 -07:00
Timothy Clem
3fe174a3b6 Fix up tests 2019-10-02 13:14:20 -07:00
Timothy Clem
85bf7e72ec Use tclem/proto-lens-jsonpb 2019-10-02 13:14:16 -07:00
Rob Rix
e55426cff1
Weaken the language extension to MonoLocalBinds. 2019-10-02 15:51:40 -04:00
Rob Rix
ce8928e9a2
📝 AnalysisClasses. 2019-10-02 15:50:45 -04:00
Rob Rix
898eb8a22d
Reformat AnalysisClasses. 2019-10-02 15:50:45 -04:00
Rob Rix
e0bc6dc9a8
Update src/Semantic/Api/Terms.hs
Co-Authored-By: Patrick Thomson <patrickt@github.com>
2019-10-02 15:31:56 -04:00
Rob Rix
34aaec96d7
📝 the parameters to diffWith/decoratingDiffWith. 2019-10-02 15:30:21 -04:00
Rob Rix
f5f3124efa
📝 diffWith/decoratingDiffWith. 2019-10-02 15:26:15 -04:00
Rob Rix
0c3170edc4
📝 DiffFor. 2019-10-02 15:21:13 -04:00
Rob Rix
e4346562d6
📝 DiffTerms. 2019-10-02 15:18:48 -04:00
Rob Rix
8b705faefc
Rename the DiffFor result variable. 2019-10-02 15:18:29 -04:00
Rob Rix
843b49b26d
🔥 HasDiffFor. 2019-10-02 15:18:13 -04:00
Rob Rix
7433b7e6b1
📝 parseWith & parsePairWith’s parameters. 2019-10-02 15:16:35 -04:00
Rob Rix
3dd91ec21a
Fix some docs. 2019-10-02 15:13:48 -04:00
Rob Rix
87e72d1e0e
Give a kind signature for the constraint parameter to SomeAnalysisParser. 2019-10-02 15:13:40 -04:00
Rob Rix
80fbd7184f
📝 the abstract parsers. 2019-10-02 15:05:33 -04:00
Rob Rix
17481f566e
📝 SomeParser. 2019-10-02 14:52:45 -04:00
Rob Rix
fd94a1d3f2
📝 the canonical sets of parsers. 2019-10-02 14:48:36 -04:00
Rob Rix
2d21661c85
📝 parseWith/parsePairWith. 2019-10-02 14:47:11 -04:00
Rob Rix
a7c366cde2
Use Map instead of lists of pairs for the parsers. 2019-10-02 14:45:16 -04:00
Rob Rix
ecd283ac43
Rename precisePythonParser to pythonParserPrecise. 2019-10-02 14:10:59 -04:00
Rob Rix
1a1cdc9acb
🔥 the export of precisePythonParser. 2019-10-02 14:10:05 -04:00
Rob Rix
2a8d57fa6d
Merge branch 'master' into list-parsers-independently 2019-10-02 14:08:26 -04:00
Rob Rix
9c981030b9
🔥 ApplyAll. 2019-10-02 14:05:57 -04:00
Rob Rix
66801bf4f6
SomeAnalysisParser uses a single constraint. 2019-10-02 14:05:04 -04:00
Rob Rix
ce3fe3fbe7
Eliminate a few uses of Join. 2019-10-02 13:57:46 -04:00
Rob Rix
4a6da6903d
🔥 redundant language extensions. 2019-10-02 13:53:08 -04:00
Rob Rix
49fe06d576
🔥 the & typeclass. 2019-10-02 13:51:35 -04:00
Patrick Thomson
90f5c78b0d
Merge branch 'master' into json-and-core-are-breaking-up 2019-10-02 13:50:12 -04:00
Patrick Thomson
cf7f403c0d
Merge branch 'master' into safer-exceptions-over-tree-sitter-ffi 2019-10-02 13:48:14 -04:00
Rob Rix
56f8f5f666
Define an analogue of diffWith which does no decoration. 2019-10-02 13:43:41 -04:00
Rob Rix
6b77558d69
Rename diffWith to decoratingDiffWith. 2019-10-02 13:42:15 -04:00
Rob Rix
394936efde
Merge pull request #300 from github/abstract-actions-over-terms
Abstract actions over terms
2019-10-02 13:39:51 -04:00
Rob Rix
21f36e1161
Weaken from GADTs to MonoLocalBinds. 2019-10-02 13:35:32 -04:00
Rob Rix
3ec0981e47
🔥 DiffActions. 2019-10-02 13:30:44 -04:00
Rob Rix
f98471a614
🔥 SomeTermPair. 2019-10-02 13:30:39 -04:00
Rob Rix
fdc0fb6dcc
🔥 Decorate. 2019-10-02 13:29:15 -04:00
Rob Rix
2fb8a77ef2
🔥 doParse. 2019-10-02 13:28:56 -04:00
Rob Rix
a5307843c6
🔥 doDiff. 2019-10-02 13:28:08 -04:00
Rob Rix
99f9edf65f
Use diffWith for summaries. 2019-10-02 13:26:52 -04:00
Rob Rix
dd01c89463
Use diffWith for legacy summaries. 2019-10-02 13:25:42 -04:00
Rob Rix
2be893baf0
🔥 diffParsers. 2019-10-02 13:24:56 -04:00
Rob Rix
af17fb489b
Use diffWith for JSON trees. 2019-10-02 13:24:26 -04:00
Rob Rix
e7013d8c90
Use diffWith for JSON graphs. 2019-10-02 13:23:56 -04:00