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,341 Commits 19 Branches 16 Tags 46 MiB
c00c23fff5
Commit Graph

16341 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Rick Winfrey
660610a349 Merge branch 'master' into go-assignment 2017-10-03 09:40:18 -07:00
Timothy Clem
c34054322d Merge branch 'master' into enable-ruby-assignment 2017-10-03 08:38:57 -07: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
Rob Rix
7e034fa4c1 Test that genericLiftCompare gives equivalent behaviour to compare for product types. 2017-10-03 09:23:44 -04:00
Rob Rix
6f4539cdce Stub in a module for generically-implemented Ord1 specs. 2017-10-03 09:15:45 -04:00
Rob Rix
4a8ac5dd47 Merge branch 'master' into all-the-ord-instances 2017-10-02 17:23:47 -04:00
joshvera
57f1b39cf0 Merge remote-tracking branch 'origin/master' into typescript-cleanup 2017-10-02 13:53:41 -07:00
Timothy Clem
aa2af2ce02 Merge pull request #1378 from github/contextualize-ruby-comments 
Contextualize comments in Ruby assignment again
 2017-10-02 13:40:44 -07:00
joshvera
123105bb71 Reuse import in Declaration 2017-10-02 13:33:25 -07:00
joshvera
eca3b8c120 Move TypeAliasDeclaration to Declaration 2017-10-02 13:32:00 -07:00