github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity
29,843 Commits 19 Branches 16 Tags 46 MiB
3e17a9b50d
Commit Graph

29843 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
09f294a70d
Rename gfold1 to gfoldMap1. 2019-09-24 16:46:30 -04:00
Rob Rix
60c3e359de
Rename ToTagInstance to ToTagsInstance. 2019-09-24 16:42:58 -04:00
Rob Rix
f791316003
Rename ToTagBy to ToTagsBy. 2019-09-24 16:42:40 -04:00
Rob Rix
80ccf3c985
Replace GToTag with GFold1 ToTags. 2019-09-24 16:35:23 -04:00
Rob Rix
f25af24099
Define a class abstracting the job of folding over syntax. 2019-09-24 16:33:31 -04:00
Patrick Thomson
bec69d89fc Remove outdated dependencies. 
Semantic used to have web-server related things in it. This is no
longer the case: it's a CLI app through and through. As such, we don't
need these dependencies.
 2019-09-24 16:30:23 -04:00
Timothy Clem
46fa12303b Include real build sha in production logs 2019-09-24 13:23:37 -07:00
Rob Rix
dac58cfca4
Sequence the operations with >>. 2019-09-24 16:21:17 -04:00
Rob Rix
585da5e91a
Alignment. 2019-09-24 16:18:53 -04:00
Rob Rix
c6a4f7d617
🔥 redundant language extensions. 2019-09-24 16:17:56 -04:00
Rob Rix
12be927e84
Rename ToTag to ToTags. 2019-09-24 16:16:30 -04:00
Rob Rix
6be281d36a
Move all the Python-specific stuff into its own module. 2019-09-24 16:15:41 -04:00
Patrick Thomson
401b17f7d6 Merge branch 'make-parse-examples-tasty' of https://github.com/github/semantic into make-parse-examples-tasty 2019-09-24 16:14:02 -04:00
Rob Rix
e91504eb36
Rename tag to tags. 2019-09-24 16:10:18 -04:00
Rob Rix
c6189128b6
Return unit explicitly. 2019-09-24 16:09:31 -04:00
Rob Rix
7108915e21
🔥 a redundant where clause. 2019-09-24 16:09:18 -04:00
Patrick Thomson
875c302670 Build these concurrently. 2019-09-24 16:07:23 -04:00
Rob Rix
2bfb9c3ef8
Move yield up. 2019-09-24 16:02:31 -04:00
Rob Rix
e8c1348d36
Export yield. 2019-09-24 16:01:50 -04:00
Rob Rix
0ca230c1d6
Define a type synonym for Tags. 2019-09-24 16:01:38 -04:00
Rob Rix
aa350b9db6
Stub in a module for Python tagging. 2019-09-24 14:14:12 -04:00
Rob Rix
ad43b0c1a2
🔥 AST.Element for now. 2019-09-24 14:11:38 -04:00
Rob Rix
1aa4e9a87f
Move Element into AST.Element. 2019-09-24 14:11:03 -04:00
Rob Rix
6e7b373214
🔥 a redundant language extension. 2019-09-24 14:10:27 -04:00
Rob Rix
ee5d1b0a3f
Stub in a file for Element. 2019-09-24 14:06:06 -04:00
Rob Rix
33109267bc
Merge branch 'master' into make-parse-examples-tasty 2019-09-24 13:49:33 -04:00
Rob Rix
7292f85cf8
Merge branch 'master' into semantic-tags 2019-09-24 12:37:00 -04:00
Rob Rix
25b3dcc738
Export Element. 2019-09-24 12:31:33 -04:00
Rob Rix
5d7f3552ab
Define an instance of Element' to give a custom type error when a member isn’t found. 2019-09-24 12:23:50 -04:00
Rob Rix
986349d6d4
Define a type family to show a sum. 2019-09-24 12:23:09 -04:00
Rob Rix
16fa52194d
Abstract projection out into a helper indexed by occurrence. 2019-09-24 12:22:18 -04:00
Rob Rix
e05860cc81
Define a type family computing occurrence within a nested sum. 2019-09-24 12:22:01 -04:00
Rob Rix
c45b96f577
Define a type family computing boolean or. 2019-09-24 12:19:47 -04:00
Patrick Thomson
f44228a5f1
Merge branch 'master' into fix-hacky-test-slurping 2019-09-24 11:47:57 -04:00
Rob Rix
f613113dda
Revert "Define a class for projecting out the members of a sum." 
This reverts commit b7a93aed3d.
 2019-09-24 11:23:13 -04:00
Rob Rix
2572900858
Revert "Define a GSum instance for M1." 
This reverts commit 30dad2da72.
 2019-09-24 11:23:10 -04:00
Rob Rix
578223a17f
Revert "Define a GSum instance for sums." 
This reverts commit 5231b4f282.
 2019-09-24 11:23:08 -04:00
Rob Rix
160f61355d
Revert "Define a GSum instance for Rec1." 
This reverts commit 377fe62b9a.
 2019-09-24 11:23:04 -04:00
Rob Rix
482e5d705b
Revert "Use GSum to project function identifiers out." 
This reverts commit 2420a52d68.
 2019-09-24 11:23:01 -04:00
Patrick Thomson
499c92c17d Merge branch 'remove-regular-compile' 2019-09-24 10:59:19 -04:00
Ayman Nadeem
ea84eb317e Merge branch 'master' into semantic-ast 2019-09-24 08:34:59 -04:00
Patrick Thomson
978018c1e1 Rewrite parse-examples target to use tasty. 
This gets us a little bit of a speed boost, lets us drop a couple
dependencies, and makes us use streaming libraries.
 2019-09-24 03:17:25 -04:00
Patrick Thomson
a96a0e105a Revert "Remove special case from Files.readBlobs." 
This reverts commit 6fe879d908.
 2019-09-24 01:18:13 -04:00
Patrick Thomson
6fe879d908 Remove special case from Files.readBlobs. 2019-09-24 01:17:11 -04:00
Patrick Thomson
18a1a0d8b7 Avoid 'head', which is partial. 2019-09-24 00:57:22 -04:00
Patrick Thomson
1731df8bd8 Stray import. 2019-09-23 22:16:25 -04:00
Patrick Thomson
3926742c1d Improve parsing of FileCheck-style tags. 
This used to operate via some fast-and-loose (ab)use of the Trifecta
API. A simpler way to do things is to use streaming-bytestring to load
a file line by line and parse directives until we encounter program text.
 2019-09-23 22:00:44 -04:00
Patrick Thomson
6dcbe96a0c Fix warnings in Language.Python.Core. 2019-09-23 19:59:23 -04:00
Patrick Thomson
1990e2379b Merge remote-tracking branch 'origin/master' into remove-regular-compile 2019-09-23 19:56:08 -04:00
Patrick Thomson
aa6053ec66
Merge pull request #271 from github/leaps-and-bounds 
[semantic-python] Correct translation of assignments and function definitions
 2019-09-23 19:54:37 -04:00