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,262 Commits 19 Branches 16 Tags 46 MiB
f5c9697357
Commit Graph

30262 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
fc9a579085
🔥 doParse. 2019-10-02 11:44:29 -04:00
Rob Rix
837916e922
Use parseWith for JSONGraphTerm. 2019-10-02 11:43:40 -04:00
Rob Rix
41652c96ab
Use parseWith for JSONTreeTerm. 2019-10-02 11:41:21 -04:00
Rob Rix
b0b419bf6e
Use parseWith for DOTGraphTerm. 2019-10-02 11:39:48 -04:00
Rob Rix
5013f3bfca
Define showTermParsers using allParsers. 2019-10-02 11:37:35 -04:00
Rob Rix
f32c25b01a
Define showTermParsers as a function, rather than in a monad. 2019-10-02 11:36:14 -04:00
Rob Rix
d8b99b9cb1
Use the canonical listing of à la carte parsers for sexprTermParsers. 2019-10-02 11:27:13 -04:00
Rob Rix
035f26725f
List the canonical precise parsers. 2019-10-02 11:26:11 -04:00
Rob Rix
7aee07b3ec
List all the canonical parsers. 2019-10-02 11:24:37 -04:00
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