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,727 Commits 19 Branches 16 Tags 46 MiB
5db7c6a6ee
Commit Graph

29727 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Patrick Thomson
a2e1ced785 Reinsert a FIXME. 2019-09-23 19:42:17 -04:00
Rob Rix
2420a52d68
Use GSum to project function identifiers out. 2019-09-23 18:01:17 -04:00
Rob Rix
377fe62b9a
Define a GSum instance for Rec1. 2019-09-23 18:01:06 -04:00
Rob Rix
5231b4f282
Define a GSum instance for sums. 2019-09-23 18:01:00 -04:00
Rob Rix
30dad2da72
Define a GSum instance for M1. 2019-09-23 18:00:46 -04:00
Rob Rix
b7a93aed3d
Define a class for projecting out the members of a sum. 2019-09-23 18:00:36 -04:00
Rob Rix
b5cffe8ebe
Tags always have lines. 2019-09-23 17:52:22 -04:00
Rob Rix
e816d60260
Flesh out the ToTagBy instance for calls. 2019-09-23 17:51:43 -04:00
Rob Rix
61915b8152
Flesh out the ToTagBy instance for Py.ClassDefinition. 2019-09-23 17:50:20 -04:00
Rob Rix
ea8d5a8817
Define ToTag at * -> *. 2019-09-23 17:47:10 -04:00
Rob Rix
ca854d1b28
Define ToTagBy at * -> *. 2019-09-23 17:45:45 -04:00
Rob Rix
2ba64b1e08
🔥 the ToTagInstance for lists. 2019-09-23 17:40:37 -04:00