github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
30,203 Commits 19 Branches 16 Tags 46 MiB
cb7ddc22a8
Commit Graph

30203 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
b33b98e75c Remove FileCheck conversion of Core to JSON. 
Converting Core into JSON and querying it turned out to be an exercise
in frustration, since Core does not map naturally onto JSON. Indeed,
we have given up using it entirely thanks to the `CHECK-TREE`
directive, which is much more natural. This means we can drop it from
the test harness and remove the orphan instances that allowed it.
 2019-10-02 11:23:33 -04:00
Rob Rix
1b46f40e8f
List the canonical à la carte parsers. 2019-10-02 11:23:27 -04:00
Rob Rix
0307f7e536
Alphabetize. 2019-10-02 11:22:43 -04:00
Patrick Thomson
7d93f390a6
Merge branch 'master' into abstract-actions-over-terms 2019-10-02 11:20:31 -04:00
Rob Rix
2e9213bfda
Use parseWith for SExprTerm. 2019-10-02 11:19:48 -04:00
Rob Rix
d7d71f2ba5
List the SExprTerm parsers. 2019-10-02 11:18:51 -04:00
Patrick Thomson
64b2dc40e5
Merge branch 'master' into remove-project-readfile 2019-10-02 11:18:33 -04:00
Patrick Thomson
b7912b94cf
Merge pull request #301 from github/smarter-kinds 
[semantic-python] Compile as (Type -> Type) -> Constraint
 2019-10-02 11:18:12 -04:00
Rob Rix
316e6ad0aa
Replace annotations with () in Python terms. 2019-10-02 11:13:53 -04:00
Patrick Thomson
87a658d45b Fix tests and squash warnings. 2019-10-02 10:59:54 -04:00
Patrick Thomson
ab2f30cf6e List comprehensions are nicer here. 2019-10-02 10:57:29 -04:00
Rob Rix
d168e391ef
Rename doParse' to parseWith. 2019-10-02 10:49:32 -04:00
Rob Rix
5309eed607
Move showTermParsers adjacent to ShowTerm. 2019-10-02 10:48:41 -04:00
Rob Rix
3e137ae384
Use the abstracted parsers to define showTermParsers. 2019-10-02 10:47:53 -04:00
Rob Rix
7fdeb90f6b
Define abstracted parsers. 2019-10-02 10:46:15 -04:00
Rob Rix
e3e14a666b
Move SomeParser to Parsing.Parser. 2019-10-02 10:45:53 -04:00
Rob Rix
3026e6210b
Add separators to the haddocks. 2019-10-02 10:32:57 -04:00
Rob Rix
3d19ab5d3a
Merge branch 'abstract-actions-over-terms' into list-parsers-independently 2019-10-02 10:27:48 -04:00
Patrick Thomson
c6e88ee7ab Merge branch 'remove-project-readfile' of https://github.com/github/semantic into remove-project-readfile 2019-10-02 10:27:07 -04:00
Patrick Thomson
b7829dcde9 Fix GCompileSum instances. 2019-10-02 10:18:39 -04:00
Rob Rix
714aac1eea
Fix the tests. 2019-10-02 10:01:41 -04:00
Rob Rix
eb922e7e01
🔥 a redundant binding. 2019-10-02 09:59:26 -04:00
Rob Rix
7312997f29
🔥 a redundant import. 2019-10-02 09:59:21 -04:00
Patrick Thomson
e8e67161e0 Compile now has kind (Type -> Type) -> Constraint. 2019-10-02 09:57:17 -04:00
Rob Rix
e71e1fcca1
Show terms using showTermParsers/doParse'. 2019-10-02 09:56:57 -04:00
Rob Rix
fe13a6c560
Define a helper to parse using a given list of parsers. 2019-10-02 09:56:42 -04:00
Rob Rix
1e35fcf8e8
Define the list of parsers for the ShowTerm feature. 2019-10-02 09:56:30 -04:00
Rob Rix
a1511f2a4d
Define a SomeParser type abstracting a parser over a given constraint on its terms. 2019-10-02 09:56:10 -04:00
Rob Rix
9f68d5b6c5
Redefine DiffActions as a constraint synonym. 2019-10-02 09:21:08 -04:00
Rob Rix
1fdecb0abb
Redefine TermActions as a constraint synonym since we’re specialized to it. 2019-10-02 09:19:47 -04:00
Rob Rix
764710260c
🔥 yet more redundant language extensions. 2019-10-02 09:14:43 -04:00
Rob Rix
8af41587e4
🔥 more redundant language extensions. 2019-10-02 09:13:41 -04:00
Rob Rix
9b1c99f159
🔥 redundant language extensions. 2019-10-02 08:47:59 -04:00
Patrick Thomson
79e47aaeaf No need for ProjectException. 2019-10-02 00:54:55 -04:00
Rob Rix
ab72710312
Merge branch 'master' into abstract-actions-over-terms 2019-10-01 23:48:24 -04:00
Rob Rix
c847990bd6
🔥 a redundant language pragma. 2019-10-01 23:33:11 -04:00
Rob Rix
bc62f324df
Diff using an abstract interface. 2019-10-01 23:32:48 -04:00
Rob Rix
08247c7444
Summarize diffs legacy-wise using an abstract interface. 2019-10-01 22:56:41 -04:00
Rob Rix
fea2338eae
🔥 renderToCTerm. 2019-10-01 22:43:43 -04:00
Rob Rix
f08ac25116
Summarize diffs using an abstract interface. 2019-10-01 22:29:29 -04:00
Rob Rix
e5685f9f5c
🔥 redundant parens. 2019-10-01 22:26:05 -04:00
Rob Rix
5fe4b1da74
🔥 withSomeTermPair. 2019-10-01 22:23:15 -04:00
Rob Rix
68ea7e147d
The diff & term types are mutually supporting. 2019-10-01 22:14:12 -04:00
Rob Rix
0c5342a030
Diff via an abstract interface. 2019-10-01 22:12:18 -04:00
Rob Rix
377d824898
Use distinct type parameters for the annotations on either side. 
This allows us to ensure that they’re handled soundly.
 2019-10-01 22:10:42 -04:00
Rob Rix
7aa36de3f9
Spacing. 2019-10-01 22:05:29 -04:00
Rob Rix
8fc85e8f2b
Render diffs to JSON graphs using an abstract interface. 2019-10-01 22:02:50 -04:00
Patrick Thomson
55445af63c
Merge branch 'master' into remove-project-readfile 2019-10-01 21:59:20 -04:00
Patrick Thomson
8af42f51c8
Merge pull request #297 from j-haj/document-env-vars 
Adds configuration documentation.
 2019-10-01 21:59:08 -04:00
Rob Rix
b401da6c1f
Render diffs to JSON trees using an abstract interface. 2019-10-01 21:58:15 -04:00