1
1
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
Commit Graph

1527 Commits

Author SHA1 Message Date
Rob Rix
c51d66fe8d Correct how the diff is unpacked. 2015-10-23 19:25:21 -04:00
Rob Rix
fe2915a427 Try to map terms into DOM. 2015-10-23 19:24:13 -04:00
Rob Rix
7bff777b07 Attempt to correct Diff/DOM mapping. 2015-10-23 19:23:58 -04:00
Rob Rix
27853e30b1 Correct mapping diffs into DOM. 2015-10-23 19:23:38 -04:00
Rob Rix
b42d5238d1 Correct Syntax.Leaf construction. 2015-10-23 19:22:22 -04:00
Rob Rix
96675b4de6 Correct Syntax.Indexed construction. 2015-10-23 19:22:14 -04:00
Rob Rix
4a9ff5118a Correct Syntax.Keyed construction. 2015-10-23 19:20:06 -04:00
Rob Rix
62000715e8 Correct Syntax.Keyed mapping. 2015-10-23 19:19:22 -04:00
Rob Rix
be6b72cf00 Correct Syntax mapping. 2015-10-23 19:17:02 -04:00
Rob Rix
05a376f8ae Use the correct references. 2015-10-23 19:09:52 -04:00
Rob Rix
b3fa50bf64 Map the original diff. 2015-10-23 19:08:10 -04:00
Rob Rix
57fb7dda4c Diff.map. 2015-10-23 18:59:24 -04:00
Rob Rix
eb598effa5 Simplify Syntax.map. 2015-10-23 18:58:10 -04:00
Rob Rix
00234c1365 Simplify the Diff constructor. 2015-10-23 18:56:07 -04:00
Rob Rix
ccc57c6411 Correct the hash passed to Diff. 2015-10-23 18:55:30 -04:00
Rob Rix
20057acaff Add a function to construct diffs from JSON. 2015-10-23 18:54:24 -04:00
Rob Rix
692ae3be29 Remove Indexed toDOM handling. 2015-10-23 18:41:29 -04:00
Rob Rix
eabb27c5af Remove the Keyed toDOM handling. 2015-10-23 18:41:04 -04:00
Rob Rix
b3f0d16fc8 Remove Term catamorphism/paramorphism 😢 2015-10-23 18:27:16 -04:00
Rob Rix
aaa1a9d25a Term paramorphism. 2015-10-23 18:26:57 -04:00
Rob Rix
ec9cbf4dbf Remove leaf handling from toDOM. 2015-10-23 18:26:42 -04:00
Rob Rix
f00b9cca5b Construct Patches with Terms directly. 2015-10-23 18:26:24 -04:00
Rob Rix
16876343a4 Map Syntax by construction. 2015-10-23 18:24:19 -04:00
Rob Rix
08927d06b5 Construct Syntax values correctly. 2015-10-23 18:23:25 -04:00
Rob Rix
155b0a16ef Syntax nodes’ JSON is unambiguous. 2015-10-23 18:22:24 -04:00
Rob Rix
48a8217c41 Dictionary mapping passes a key to the transformation function. 2015-10-23 18:21:09 -04:00
Rob Rix
ebc8e96396 Remove Term processing from toDOM. 2015-10-23 18:19:25 -04:00
Rob Rix
59861a9a34 Terms construct a Syntax. 2015-10-23 18:19:11 -04:00
Rob Rix
7fb3aeb452 catamorphism over Term. 2015-10-23 17:19:24 -04:00
Rob Rix
d75322e37e Remove Indexed. 2015-10-23 17:19:18 -04:00
Rob Rix
aef4e18518 Map over Syntax. 2015-10-23 17:19:07 -04:00
Rob Rix
c5c9e8838b Map over dictionaries. 2015-10-23 17:19:00 -04:00
Rob Rix
ff21b7d299 Construct Syntax as a sum type. 2015-10-23 17:18:54 -04:00
Rob Rix
87cdba8e4b Replaced Keyed with Dictionary. 2015-10-23 17:16:19 -04:00
Rob Rix
056e79f261 Rename the syntax field to unwrap. 2015-10-23 16:56:39 -04:00
Rob Rix
3206f13be0 Syntax is a type. 2015-10-23 16:54:49 -04:00
Rob Rix
235d70239a Rename a/b to before/after. 2015-10-23 16:53:51 -04:00
Rob Rix
32ed77d9bc Rename left/right to before/after. 2015-10-23 16:53:02 -04:00
Rob Rix
7d721acec5 Re-add the left/right column divs. 2015-10-23 14:00:25 -04:00
Rob Rix
7adfd32d9d Patch is an object. 2015-10-23 13:48:44 -04:00
Rob Rix
0667e3b30e Move the patch function up. 2015-10-23 13:47:33 -04:00
Rob Rix
968980e17b Don’t be gross. 2015-10-23 13:32:54 -04:00
Rob Rix
b03bacbcf2 Pass the source strings to toDOM. 2015-10-23 13:32:19 -04:00
Rob Rix
93a8f75da9 Don’t thread the original strings through model construction. 2015-10-23 13:31:14 -04:00
Rob Rix
107c8969e8 Arbitrarily select the before string/range. 2015-10-23 12:22:21 -04:00
Rob Rix
2213606727 Merge branch 'master' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well 2015-10-23 12:02:51 -04:00
Josh Vera
829e43a168 Merge pull request #143 from github/annotate-diffs
Annotate diffs
2015-10-23 12:01:26 -04:00
Rob Rix
d5bf556cac Test that recursively-copied diffs do not contain patches. 2015-10-23 11:49:03 -04:00
Rob Rix
11ed1a855d Test that equal terms zip to non-nil. 2015-10-23 11:46:47 -04:00
Rob Rix
0c1905b6f5 Avoid a bang. 2015-10-23 11:44:17 -04:00