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,237 Commits 19 Branches 16 Tags 46 MiB
90f8e9385e
Commit Graph

16237 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
8471486d1a Revert "Define subequivalence of Functions." 
This reverts commit da65ddc832de7a61ba93e5463bc17128762e7600.
 2017-10-03 14:12:41 -04:00
Rob Rix
1c5db3a82f Revert "Define subequivalence of Methods." 
This reverts commit 902db7cde56b43143212ac9d491a63c64d8f8ff8.
 2017-10-03 14:12:37 -04:00
joshvera
bd6a098f57 Merge remote-tracking branch 'origin/master' into typescript-cleanup 2017-10-03 10:55:41 -07:00
Rob Rix
695ceb7d62 Define equivalence in terms of lifted equality. 2017-10-03 13:33:04 -04:00
Rob Rix
82244515f8 Define a function computing the equivalence of terms based on subequivalence. 2017-10-03 13:27:02 -04:00
Rob Rix
98ac25fe84 Define subequivalence of Methods. 2017-10-03 13:26:29 -04:00
Rob Rix
e52e69e08b Define subequivalence of Functions. 2017-10-03 13:26:17 -04:00
Rob Rix
67cb2b3ea7 Define subequivalence of Context nodes. 2017-10-03 13:26:08 -04:00
Rob Rix
2fc976dd0e Define subequivalence of Unions. 2017-10-03 13:26:02 -04:00
Rob Rix
124e2b30a6 Define a subequivalence method on Diffable. 2017-10-03 13:25:27 -04:00
Rob Rix
fcc24d572f Rename the bindings in subalgorithmFor. 2017-10-03 13:25:17 -04:00
Timothy Clem
6f3d1108c9 Merge pull request #1380 from github/enable-ruby-assignment 
Always use assignment parser for Ruby
 2017-10-03 09:55:21 -07:00
Rob Rix
1e14133272 Remove the suffix when we don’t know which side it’s on. 2017-10-03 12:40:24 -04:00
Rob Rix
9c49698894 Correct the docs for algorithmForTerms. 2017-10-03 12:40:24 -04:00
Rob Rix
b75fc8cc88 Name the variables in Diffable a1/a2 &c consistently. 2017-10-03 12:40:24 -04:00
Rob Rix
e6fbf274be Remove the suffix when we don’t know which side it’s on. 2017-10-03 12:28:15 -04:00
Rob Rix
8e4b3f807b Correct the docs for algorithmForTerms. 2017-10-03 12:22:23 -04:00
Rob Rix
15f220e5aa Name the variables in Diffable a1/a2 &c consistently. 2017-10-03 12:20:52 -04:00
Rob Rix
686da3aa42 🔥 the syntaxParser bindings. 2017-10-03 11:52:55 -04:00
Rob Rix
13b79db26e Reformat the diffBlobPair syntaxParser cases. 2017-10-03 11:49:14 -04:00
Timothy Clem
c34054322d Merge branch 'master' into enable-ruby-assignment 2017-10-03 08:38:57 -07:00
Rob Rix
eedceb2a7f Reformat the guard clause for ToC term rendering. 2017-10-03 11:01:00 -04:00
Rob Rix
b179269ed6 Combine the cases for s-expression term rendering. 2017-10-03 11:00:22 -04:00
Rob Rix
d6c98092bc Combine the cases for JSON term rendering. 2017-10-03 11:00:14 -04:00
Rob Rix
7a6d92ce15 Combine the à la carte JSON term rendering paths. 2017-10-03 10:53:28 -04:00
Rob Rix
afa7f82fd7 Render s-expression terms without Kleisli composition. 2017-10-03 10:49:15 -04:00
Rob Rix
7d48a98814 Discard locations early. 2017-10-03 10:46:44 -04:00
Rob Rix
186dad2642 Reformat. 2017-10-03 10:44:53 -04:00
Rob Rix
f9c0a2d730 Combine the à la carte s-expression rendering paths. 2017-10-03 10:43:41 -04:00
Rob Rix
1325e429d0 Generalize SomeParser over a set of typeclasses that must hold. 2017-10-03 10:41:05 -04:00
Rob Rix
c33eea3f4f Parameterize SomeParser by the typeclass. 2017-10-03 10:33:44 -04:00
Rob Rix
0d605da704 Export the ConstructorName typeclass. 2017-10-03 10:32:56 -04:00
Rob Rix
36bb7c42b1 Stub in a SomeParser type & constructor. 2017-10-03 10:11:00 -04:00
Rob Rix
a965c12dd8 Rename parserForLanguage to syntaxParserForLanguage. 2017-10-03 10:04:59 -04:00
Rob Rix
424d671178 Merge pull request #1373 from github/all-the-ord-instances 
All the Ord(1) instances
 2017-10-03 09:32:02 -04:00
Rob Rix
b85aa53af9 Spacing. 2017-10-03 09:29:15 -04:00
Rob Rix
ac3646f925 Test that genericLiftCompare gives equivalent behaviour to compare for recursive types. 2017-10-03 09:29:06 -04:00
Rob Rix
5a024b40f7 Test that genericLiftCompare gives equivalent behaviour to compare for sum types. 2017-10-03 09:25:39 -04:00