github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity
30,912 Commits 19 Branches 16 Tags 46 MiB
7ab610a24d
Commit Graph

30912 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
d8e8fb679d
Go back to using the type synonym for the TSX assignment. 2019-10-18 18:27:17 -04:00
Rob Rix
dbd91ca2ef
Export the Term constructors/eliminators. 2019-10-18 18:25:33 -04:00
Rob Rix
a337ba1eb6
Fix a couple of indentation errors. 2019-10-18 18:23:24 -04:00
Rob Rix
ffab2423b1
Merge branch 'abstract-analysis-parsing' into abstract-a-la-carte-terms 2019-10-18 18:21:18 -04:00
Rob Rix
535c06d193
🔥 a redundant import. 2019-10-18 18:16:10 -04:00
Rob Rix
888a48e220
Undo some redundant changes. 2019-10-18 18:15:55 -04:00
Rob Rix
1b0d2f8758
Merge branch 'master' into abstract-analysis-parsing 2019-10-18 18:07:45 -04:00
Rob Rix
cc2df9de19
Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick 
Compute ToCs over precise ASTs
 2019-10-18 18:05:25 -04:00
Rob Rix
17c173957e
🔥 the AccessControls1 instances for Markdown. 2019-10-18 18:03:58 -04:00
Rob Rix
bd010a4ca4
Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms 2019-10-18 18:00:36 -04:00
Rob Rix
54c6948e44
Queswish! 
Co-Authored-By: Patrick Thomson <patrickt@github.com>
 2019-10-18 17:38:02 -04:00
Rob Rix
d8b730c34a
Port everything over to Ruby.Term. 2019-10-18 17:33:26 -04:00
Rob Rix
179e610344
Port everything over to Markdown.Term. 2019-10-18 17:29:25 -04:00
Rob Rix
9d9c9bea5d
Port everything over to Go.Term. 2019-10-18 17:24:04 -04:00
Rob Rix
3f48a9da5a
Port everything over to Python.Term. 2019-10-18 17:19:52 -04:00
Rob Rix
ff30229d53
Rename the imports of Language.Python. 2019-10-18 17:16:02 -04:00
Rob Rix
af85945d03
Port everything over to PHP.Term. 2019-10-18 17:12:02 -04:00
Rob Rix
05e372d772
Port everything over to TypeScript.Term. 2019-10-18 17:01:20 -04:00
Rob Rix
293c2f77df
Derive an AcessControls instance for TypeScript.Term. 2019-10-18 16:57:52 -04:00
Rob Rix
dbc12c4ee6
Bring in a TypeScript term type. 2019-10-18 16:57:37 -04:00
Rob Rix
e29be5db78
Sort the import of Data.Diff up. 2019-10-18 16:55:27 -04:00
Rob Rix
db546c7d2e
Return TSX.Term from the top-level assignment. 2019-10-18 16:47:13 -04:00
Rob Rix
14ddc257db
Derive a VertexDeclaration instance for TSX.Term. 2019-10-18 16:43:50 -04:00
Rob Rix
4f53dcf310
Derive Eq, Ord, & Show instances for TSX.Term. 2019-10-18 16:42:40 -04:00
Rob Rix
49ed23d6fc
Define a HasSpan instance for TSX.Term. 2019-10-18 16:42:08 -04:00
Rob Rix
df815545eb
Derive a FreeVariables instances for TSX.Term. 2019-10-18 16:39:45 -04:00
Rob Rix
9cb6c69a1b
Define a Recursive instance for TSX.Term. 2019-10-18 16:39:01 -04:00
Rob Rix
78e332d5ba
Derive an AccessControls instance for TSX.Term. 2019-10-18 16:35:08 -04:00
Rob Rix
cbb366235d
Derive a Declarations instance for TSX.Term. 2019-10-18 16:34:56 -04:00
Rob Rix
bb2a325f4a
Derive .Diffs instances for TSX.Term. 2019-10-18 16:34:44 -04:00
Rob Rix
11905c6086
Derive a ToTags instance for TSX.Term. 2019-10-18 16:34:35 -04:00
Rob Rix
cacb3f0072
Derive all of the .Terms instances for TSX. 2019-10-18 16:34:24 -04:00
Rob Rix
15615fc4de
Define a DiffTerms instance for TSX. 2019-10-18 16:28:37 -04:00
Rob Rix
8a9a209c01
Define a Diff datatype specialized to TSX. 2019-10-18 16:27:24 -04:00
Rob Rix
ae68b69705
Derive a HasErrors instance. 2019-10-18 16:15:33 -04:00
Rob Rix
0ca1ea02aa
Derive some instances for Term. 2019-10-18 16:09:00 -04:00
Rob Rix
da2bb2ffb4
Define a Term type for TSX. 2019-10-18 16:08:31 -04:00
Rob Rix
00411293a5
Use the qualified term type. 2019-10-18 16:05:38 -04:00
Rob Rix
148b94c368
Extract TSX.Syntax into a new module. 2019-10-18 16:04:04 -04:00
Rob Rix
b3516fda6a
Generalize AssignmentParser over the term type. 2019-10-18 16:01:04 -04:00
Rob Rix
f64a028254
Use HasErrors in Measured assignment. 2019-10-18 16:00:04 -04:00
Rob Rix
fa34b0bab0
Express HasErrors at * -> *. 2019-10-18 15:59:52 -04:00
Rob Rix
70bbffc827
Replace errors with getErrors. 2019-10-18 15:57:58 -04:00
Rob Rix
aa17940852
Define a typeclass abstracting getting errors out of a term. 2019-10-18 15:57:17 -04:00
Rob Rix
85356d9050
These constraints are implied. 2019-10-18 15:50:07 -04:00
Rob Rix
d1b15cdb4f
Define all of the constraints over the term types. 2019-10-18 15:47:46 -04:00
Rob Rix
5b2745a67f
Define TSX.Term at * -> *. 2019-10-18 15:45:41 -04:00
Rob Rix
a3f8ca31bd
Define TypeScript.Term at * -> *. 2019-10-18 15:43:49 -04:00
Rob Rix
c7122040cb
Define PHP.Term at * -> *. 2019-10-18 15:39:23 -04:00
Rob Rix
7efbbcb424
Define Python.Term at * -> *. 2019-10-18 15:38:04 -04:00