github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity
3,327 Commits 19 Branches 16 Tags 46 MiB
cf7e69b32d
Commit Graph

55 Commits

Author SHA1 Message Date
Rob Rix
8cf0ef097c Patch.sum/difference are not allowed to throw. 2015-11-12 17:43:32 -05:00
Rob Rix
3f81b9d8b9 Inline size computations on Patch. 2015-11-12 17:35:34 -05:00
Rob Rix
4d1d7d62e8 Patch.difference rethrows errors. 2015-10-28 12:15:36 -04:00
Rob Rix
89cd067c8f Patch.sum rethrows errors. 2015-10-28 12:15:18 -04:00
Rob Rix
c36b1df02b Patch.difference’s argument does not escape. 2015-10-28 12:14:58 -04:00
Rob Rix
5c44771b02 Patch.sum’s argument does not escape. 2015-10-28 12:14:43 -04:00
Rob Rix
0f7d7b2770 Patch.map rethrows errors. 2015-10-28 12:14:15 -04:00
Rob Rix
750def8107 Fix up some comments. 2015-10-22 10:37:00 -04:00
Rob Rix
03aa95caf9 Rename the TermType.LeafType associated type to Leaf. 2015-10-22 10:17:51 -04:00
Rob Rix
c8ff886df6 Merge branch 'master' into output-source-range-annotations-to-json 
Conflicts:
	.gitmodules
 2015-10-19 15:16:22 -04:00
Rob Rix
22fe4c4ebb Patch is a Functor. 
My kingdom for DeriveFunctor.
 2015-10-16 17:31:58 -04:00
Rob Rix
01d65a4245 Patches of terms annotated with ranges can produce JSON over source strings. 2015-10-16 11:09:30 -04:00
Rob Rix
20e5d25fbf PatchType does not require construction with a Patch. 2015-10-16 09:30:25 -04:00
Rob Rix
bcdaff9c2c PatchType requires constructors for deletions. 2015-10-16 09:28:45 -04:00
Rob Rix
64cd995e41 PatchType requires constructors for deletions. 2015-10-16 09:28:37 -04:00
Rob Rix
00115e422b PatchType requires constructors for replacements. 2015-10-16 09:28:25 -04:00
Rob Rix
831eb1e521 PatchType does not require patch. 2015-10-16 09:26:13 -04:00
Rob Rix
1493b2938e PatchType requires inverse. 2015-10-16 09:23:51 -04:00
Rob Rix
9b15398f76 PatchType requires state. 2015-10-16 09:22:41 -04:00
Rob Rix
38be68d95d Rename PatchConvertible to PatchType. 2015-10-16 09:21:41 -04:00
Rob Rix
1b86134377 Difference over Patch<Term: TermType>. 2015-10-15 15:25:04 -04:00
Rob Rix
e8a67fbdb0 Sum over Patch<Term: TermType>. 2015-10-15 15:24:58 -04:00
Rob Rix
e5fe5f448a Parameterized difference over Patch. 2015-10-15 15:23:51 -04:00
Rob Rix
45d2697c46 Parameterized sum over Patch. 2015-10-15 15:23:36 -04:00
Rob Rix
856abbe611 I don’t know. 2015-10-15 15:08:06 -04:00
Rob Rix
dfa34aa13c Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees 2015-10-15 09:48:15 -04:00
Rob Rix
77a32f9e8d Remove Patch hashing. 2015-10-15 09:44:36 -04:00
Rob Rix
9cc446b4ea Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees 
Conflicts:
	prototype/Doubt/Patch.swift
	prototype/Doubt/TermType.swift
	prototype/DoubtTests/SESTests.swift
 2015-10-15 09:32:36 -04:00
Rob Rix
a40ae08ac5 Correct a comment. 2015-10-15 09:01:07 -04:00
Rob Rix
064e5f1faa Patch is no longer CustomDocConvertible. 2015-10-15 08:54:33 -04:00
Rob Rix
32c55fd5ff Add a section for PatchConvertible. 2015-10-14 18:48:15 -04:00
Josh Vera
df31170dc8 Merge pull request #107 from github/generalize-patch 
Generalize Patch
 2015-10-14 16:47:57 -04:00
Rob Rix
34258b98b8 Generalize Patch from Fix<A> to A. 2015-10-14 12:17:39 -04:00
Rob Rix
964204a3e6 Rename the PatchConvertible associated type to Element. 2015-10-14 12:02:57 -04:00
Rob Rix
7786b8c40f Remove the Patch.cost property. 2015-10-13 18:20:11 -04:00
Rob Rix
5fc16e86f8 Patch has a JSON property when A is CustomJSONConvertible. 2015-10-09 09:06:06 -05:00
Rob Rix
ea29b2846a Construct Patch.JSON using dictionary literals. 2015-10-09 08:43:57 -04:00
Rob Rix
4b2fea5d13 Change Patch’s JSON heading. 2015-10-09 08:41:08 -04:00
Rob Rix
341e18e84d Patch encodes its cases inline. 2015-10-08 07:31:43 -04:00
Rob Rix
5610b9737c Parametric JSON conversion for Patch. 2015-10-08 07:28:03 -04:00
Rob Rix
14a2d9bc1c Patch is CustomDocConvertible. 2015-10-07 17:20:13 -04:00
Rob Rix
0af93b4c68 Patches have an inverse. 2015-10-07 08:41:54 -04:00
Rob Rix
85ac68d232 Document why PatchConvertible. 2015-10-06 21:25:21 -04:00
Rob Rix
6b3c66d801 Patch is trivially PatchConvertible. 2015-10-06 21:24:43 -04:00
Rob Rix
46f3f9431b Add a PatchConvertible protocol to enable constrained extensions. 2015-10-06 21:24:01 -04:00
Rob Rix
4fdbcf948f Patches have a cost. 
This charges `Replace` patches at a higher cost than `Insert`/`Delete`
patches to avoid spurious replacements.
 2015-10-06 17:07:16 -04:00
Rob Rix
ee8794fd81 Patch is CustomDebugStringConvertible. 2015-10-06 16:45:36 -04:00
Rob Rix
db63777dd9 Represent Insert/Delete explicitly in Patch. 
Fixes #60.
 2015-10-06 16:31:44 -04:00
Rob Rix
ebb3f1350f Conveniences for constructing insertions & deletions. 2015-10-02 16:53:43 -04:00
Rob Rix
ae7f30e922 Parameterized Patch hashing. 2015-10-02 16:50:59 -04:00