1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Commit Graph

30995 Commits

Author SHA1 Message Date
Rob Rix
bf645df8be
Eliminate JSONTreeDiff’s dependency on DiffTerms. 2019-10-18 20:36:08 -04:00
Rob Rix
175da366b5
Eliminate SExprDiff’s dependency on DiffTerms. 2019-10-18 20:35:46 -04:00
Rob Rix
b98f433d0e
Eliminate ShowDiff’s dependency on DiffTerms. 2019-10-18 20:25:09 -04:00
Rob Rix
9064cda58a
Merge branch 'edit-these-patch' into abstract-a-la-carte-terms 2019-10-18 20:17:54 -04:00
Rob Rix
713de98faf
Rename SummarizeDiff to SummarizeTerms. 2019-10-18 20:14:13 -04:00
Rob Rix
7ab610a24d
Revert "Define an abstraction over the Term introduction/elimination forms."
This reverts commit 1e401f5cc9.
2019-10-18 20:11:45 -04:00
Rob Rix
477b4f1501
Revert "🔥 redundant quantifiers."
This reverts commit b5c0608694.
2019-10-18 20:11:43 -04:00
Rob Rix
9648b05ebd
Revert "Give simpler primitives for IsTerm."
This reverts commit e2379abeba.
2019-10-18 20:11:40 -04:00
Rob Rix
d5abb0fa75
Revert "Abstract term injection & projection."
This reverts commit 694164d3d4.
2019-10-18 20:11:38 -04:00
Rob Rix
0723859f33
Revert "🔥 guardTerm."
This reverts commit 0065b0d99a.
2019-10-18 20:11:35 -04:00
Rob Rix
e0013aa8a9
Revert "Generalize makeTerm' over the term type."
This reverts commit 996594dc5f.
2019-10-18 20:11:16 -04:00
Rob Rix
2449f9a94c
Revert "Generalize makeTerm over the term type."
This reverts commit 15077437f2.
2019-10-18 20:11:09 -04:00
Rob Rix
1701fefd77
Revert "Generalize makeTerm'' over the term type."
This reverts commit f50ab78f9d.
2019-10-18 20:11:07 -04:00
Rob Rix
8273312a7f
Revert "Generalize makeTerm1' over the term type."
This reverts commit 9d87c5027c.
2019-10-18 20:11:04 -04:00
Rob Rix
7edac28207
Revert "Generalize makeTerm1 over the term type."
This reverts commit 152a6510d1.
2019-10-18 20:11:01 -04:00
Rob Rix
d9c408a2f5
Revert "Generalize emptyTerm over the term type."
This reverts commit 7b67989dff.
2019-10-18 20:10:58 -04:00
Rob Rix
f71505d209
Revert "Generalize handleError over the term type."
This reverts commit cd2a1b0456.
2019-10-18 20:10:55 -04:00
Rob Rix
0bb8039218
Revert "Generalize parseError over the term type."
This reverts commit b6b95d675f.
2019-10-18 20:10:51 -04:00
Rob Rix
3db3f1c490
Revert "Generalize contextualize over the term type."
This reverts commit 8c13def45d.
2019-10-18 20:10:49 -04:00
Rob Rix
151e37ebf8
Revert "Generalize postContextualizeThrough over the term type."
This reverts commit b4ed1bd449.
2019-10-18 20:10:45 -04:00
Rob Rix
0aeb77616d
Revert "Generalize postContextualize over the term type."
This reverts commit c36833ee75.
2019-10-18 20:10:43 -04:00
Rob Rix
54b357f741
Revert "Generalize infixContext over the term type."
This reverts commit c73a0fbff4.
2019-10-18 20:10:41 -04:00
Rob Rix
af0384d69d
Revert "Generalize decoratorWithAlgebra over the term type."
This reverts commit d90d11062a.
2019-10-18 20:10:38 -04:00
Rob Rix
6b33b3e15f
Revert "Align."
This reverts commit 970a837eeb.
2019-10-18 20:10:36 -04:00
Rob Rix
37dd98f1fe
Revert "🔥 redundant language extensions."
This reverts commit fc2c134443.
2019-10-18 20:10:33 -04:00
Rob Rix
7baf284f44
Revert "Generalize Taggable over the term type."
This reverts commit aeed82b827.
2019-10-18 20:10:16 -04:00
Rob Rix
3b71047934
Revert "Generalize tagging over the term type."
This reverts commit a34ccbea25.
2019-10-18 20:10:13 -04:00
Rob Rix
f5c9de7b03
Revert "Fix a missing constraint."
This reverts commit 5cea888580.
2019-10-18 20:10:05 -04:00
Rob Rix
5cea888580
Fix a missing constraint. 2019-10-18 20:07:50 -04:00
Rob Rix
5b64b3819c
Revert "Define TSX.Term recursively."
This reverts commit 1fb626d956.
2019-10-18 20:05:35 -04:00
Rob Rix
1fb626d956
Define TSX.Term recursively. 2019-10-18 20:05:01 -04:00
Rob Rix
a34ccbea25
Generalize tagging over the term type. 2019-10-18 20:04:28 -04:00
Rob Rix
aeed82b827
Generalize Taggable over the term type. 2019-10-18 20:04:22 -04:00
Rob Rix
fc2c134443
🔥 redundant language extensions. 2019-10-18 19:35:42 -04:00
Rob Rix
970a837eeb
Align. 2019-10-18 19:35:30 -04:00
Rob Rix
d90d11062a
Generalize decoratorWithAlgebra over the term type. 2019-10-18 19:35:18 -04:00
Rob Rix
c73a0fbff4
Generalize infixContext over the term type. 2019-10-18 19:05:35 -04:00
Rob Rix
c36833ee75
Generalize postContextualize over the term type. 2019-10-18 19:05:28 -04:00
Rob Rix
b4ed1bd449
Generalize postContextualizeThrough over the term type. 2019-10-18 19:05:21 -04:00
Rob Rix
8c13def45d
Generalize contextualize over the term type. 2019-10-18 19:04:06 -04:00
Rob Rix
b6b95d675f
Generalize parseError over the term type. 2019-10-18 19:03:37 -04:00
Rob Rix
cd2a1b0456
Generalize handleError over the term type. 2019-10-18 19:03:05 -04:00
Rob Rix
7b67989dff
Generalize emptyTerm over the term type. 2019-10-18 19:02:28 -04:00
Rob Rix
152a6510d1
Generalize makeTerm1 over the term type. 2019-10-18 19:01:39 -04:00
Rob Rix
9d87c5027c
Generalize makeTerm1' over the term type. 2019-10-18 19:01:33 -04:00
Rob Rix
f50ab78f9d
Generalize makeTerm'' over the term type. 2019-10-18 19:00:29 -04:00
Rob Rix
15077437f2
Generalize makeTerm over the term type. 2019-10-18 18:59:47 -04:00
Rob Rix
811e740e1f
🔥 a redundant -fno-warn-orphans. 2019-10-18 18:59:34 -04:00
Rob Rix
996594dc5f
Generalize makeTerm' over the term type. 2019-10-18 18:55:52 -04:00
Rob Rix
0065b0d99a
🔥 guardTerm. 2019-10-18 18:52:34 -04:00