github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
16,225 Commits 19 Branches 16 Tags 46 MiB
f43ab13f7b
Commit Graph

16225 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
f43ab13f7b Define a typeclass to produce Declarations. 2017-10-04 12:29:58 -04:00
Rob Rix
2813d221a6 Discard the Range & Span immediately for Syntax, too. 2017-10-04 11:11:06 -04:00
Rob Rix
dd4060ae36 Discard the Range & Span immediately. 2017-10-04 11:09:40 -04:00
Rob Rix
76bee8e693 🔥 keepConstructorLabel. 2017-10-04 11:09:09 -04:00
Rob Rix
3c38aea3a3 📝 ApplyAll. 2017-10-04 10:57:39 -04:00
Rob Rix
73fe3aa62c Explain the example. 2017-10-04 10:54:01 -04:00
Rob Rix
093acc84dd Note the Language. 2017-10-04 10:53:56 -04:00
Rob Rix
7738433555 📝 someParser. 2017-10-04 10:50:07 -04:00
Rob Rix
274b9edee0 📝 SomeParser. 2017-10-04 10:46:26 -04:00
Rob Rix
db082b8b5f Merge branch 'abstract-high-level-flow-over-syntax-types' of https://github.com/github/semantic-diff into abstract-high-level-flow-over-syntax-types 2017-10-04 09:40:10 -04:00
Rob Rix
fc4be0c778 Merge branch 'master' into abstract-high-level-flow-over-syntax-types 2017-10-04 09:25:16 -04:00
Rob Rix
dacd0861cb Merge pull request #1384 from github/generic-term-comparability-and-equivalence 
Generic term comparability and equivalence
 2017-10-04 09:23:28 -04:00
Rob Rix
51928473a7 Spacing. 2017-10-03 17:23:21 -04:00
Josh Vera
03d528dda6 Merge branch 'master' into generic-term-comparability-and-equivalence 2017-10-03 14:10:25 -07:00
Josh Vera
fa8f718297 Merge pull request #1381 from github/typescript-cleanup 
Typescript cleanup
 2017-10-03 13:59:44 -07:00
Rob Rix
abde14cd95 Combine the code paths for JSON diffs of à la carte terms. 2017-10-03 16:28:37 -04:00
Rob Rix
79395e9af3 Combine the code paths for patch diffs of à la carte terms. 2017-10-03 16:27:44 -04:00
Rob Rix
0c5b268530 Combine the code paths for s-expression diffs of à la carte terms. 2017-10-03 16:26:45 -04:00
Rob Rix
684af38fe9 Merge branch 'generic-term-comparability-and-equivalence' into simplified-high-level-flow 2017-10-03 16:23:50 -04:00
Rob Rix
d9a0a87531 📝 comparableTo on Union. 2017-10-03 16:04:22 -04:00
Rob Rix
0c1f0b0e46 Correct the docs for the Diffable instance for Unions. 2017-10-03 16:02:23 -04:00
Rob Rix
b4f0cee138 📝 Equivalence. 2017-10-03 16:00:35 -04:00
Rob Rix
2c7e901043 📝 equivalentTerms. 2017-10-03 15:58:52 -04:00
Rob Rix
8f09c1c1bc 📝 comparableTerms. 2017-10-03 15:55:12 -04:00
Rob Rix
e7306fa43e 📝 comparableTo. 2017-10-03 15:51:56 -04:00
Rob Rix
048f66dec8 📝 equivalentBySubterm. 2017-10-03 15:49:06 -04:00
Rob Rix
8e9158c7f0 🔥 subequivalenceTo. 2017-10-03 15:37:51 -04:00
Rob Rix
cceed47743 Determine subequivalence using Equivalence & subalgorithmFor. 2017-10-03 15:37:42 -04:00
Rob Rix
8c9be81e51 Define an Equivalence functor. 2017-10-03 15:37:17 -04:00
Rob Rix
2e2d32c985 Merge branch 'master' into generic-term-comparability-and-equivalence 2017-10-03 15:31:58 -04:00
Rob Rix
b0723ee027 Clarify the comment on the inclusion of Method in Python. 2017-10-03 15:31:18 -04:00
Rob Rix
1a10479af6 🔥 Declaration.Function, Declaration.Method, & Syntax.Context from JSON syntax. 2017-10-03 15:30:13 -04:00
Rob Rix
d2382539d1 🔥 Declaration.Function, Declaration.Method, & Syntax.Context from Markdown syntax. 2017-10-03 15:29:37 -04:00
Rob Rix
4717bde7a8 Generalize diffTerms over the syntax functor. 2017-10-03 15:28:40 -04:00
Rob Rix
d2c9faf96f 🔥 the membership constraints on diffTerms. 2017-10-03 15:27:36 -04:00
Rob Rix
0fecda703a Update the fixtures. 2017-10-03 15:26:50 -04:00
Rob Rix
27758821e8 Use the comparableTerms relation in the RWS tests. 2017-10-03 15:10:11 -04:00
Rob Rix
0d790823ab Use comparableTerms as the comparability relation for à la carte terms. 2017-10-03 14:59:41 -04:00
Rob Rix
ecfb920291 🔥 the export of equivalentTerms from Interpreter. 2017-10-03 14:59:19 -04:00
Rob Rix
d453a7f2df Define a comparability relation for terms. 2017-10-03 14:58:14 -04:00
Rob Rix
adcaed3ec0 Define a Diffable method to determine comparability. 2017-10-03 14:57:06 -04:00
Rob Rix
22f5fd46d3 Rename the genericAlgorithmFor bindings. 2017-10-03 14:44:14 -04:00
Rob Rix
ced2396fde Lift subterm equivalence into Unions. 2017-10-03 14:38:10 -04:00
Rob Rix
59ee7e2251 Use the Diffable-generic definition of term equivalence for à la carte syntax. 2017-10-03 14:31:54 -04:00
Rob Rix
6536c4b06f Term equivalence falls back to recursively lifted equality. 2017-10-03 14:31:06 -04:00
Rob Rix
407d368c90 Determine equivalence by name for Declaration.Method. 2017-10-03 14:21:06 -04:00
Rob Rix
614c26749e Determine equivalence by name for Declaration.Function. 2017-10-03 14:20:45 -04:00
Rob Rix
6718a713e2 Determine equivalence by subject for Context. 2017-10-03 14:20:06 -04:00
Rob Rix
910c179bbe Determine equivalence by the nominated subterm first. 2017-10-03 14:19:26 -04:00
Rob Rix
aca3a2cf99 Add a Diffable method to select a subterm to compute equivalence by. 2017-10-03 14:18:55 -04:00