github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity
1,734 Commits 19 Branches 16 Tags 46 MiB
746723963c
Commit Graph

1605 Commits

Author SHA1 Message Date
Rob Rix
aca676dd04 Reintroduce the CofreeType → Free convenience constructor. 2015-10-23 11:43:05 -04:00
Rob Rix
383b20bb31 Document mapping a term into a diff. 2015-10-23 11:40:03 -04:00
Rob Rix
180cc41f6c reiterate → hylo 2015-10-23 11:36:42 -04:00
Rob Rix
2b216398b7 iterate → cata 2015-10-23 11:36:05 -04:00
Rob Rix
9b310b8c78 coiterate → ana 2015-10-23 11:34:53 -04:00
Rob Rix
f1d60da274 Assign patch ranges to Diff.Pures. 2015-10-23 11:14:45 -04:00
Rob Rix
c3e740ab8e Assign term ranges to patches. 2015-10-23 11:14:39 -04:00
Rob Rix
1153cd95e9 Assign a canonical source/range for diffs. 2015-10-23 11:11:05 -04:00
Rob Rix
7d09a9ab0f Store the sources in a hash so we can get them out correctly. 2015-10-23 11:09:10 -04:00
Rob Rix
63267cdb1c Attach the range and source to the syntax. 2015-10-23 11:04:21 -04:00
Rob Rix
8d344381e7 Keep the correct ranges. 2015-10-23 11:04:03 -04:00
Rob Rix
7b8d3747de Keep the sources. 2015-10-23 11:02:37 -04:00
Rob Rix
00970c03ee Keep the ranges. 2015-10-23 11:02:32 -04:00
Rob Rix
56f2f6f0c0 Unwrap the syntax. 2015-10-23 11:01:21 -04:00
Rob Rix
353ff8d4b2 Formatting. 2015-10-23 11:01:14 -04:00
Rob Rix
c187b796f3 Merge branch 'master' into annotate-diffs 
Conflicts:
	prototype/Doubt/Free.swift
 2015-10-23 10:48:17 -04:00
Rob Rix
2a50752f24 Don’t decode back into an unused string, that’s dumb. 2015-10-22 19:04:38 -04:00
Rob Rix
6c99f37e7a Encode ranges in Diff.Roll. 2015-10-22 19:04:21 -04:00
Rob Rix
bfb9095d21 Don’t output Diff.Roll annotations. 2015-10-22 18:57:07 -04:00
Rob Rix
5f5a4739bf Use the Introduce shorthand. 2015-10-22 18:56:03 -04:00
Rob Rix
b194dede9a Add annotations to Free 😭 
This is heartbreaking, but it was always going to end this way.
 2015-10-22 18:55:28 -04:00
Rob Rix
3682aca8a0 Rename the convenience to avoid the method of the same name. 2015-10-22 18:54:10 -04:00
Rob Rix
6cca28582d Add a convenience to copy terms into diffs. 2015-10-22 18:51:14 -04:00
Rob Rix
1ee9663e6e Unwrap with the static eliminator. 2015-10-22 18:43:49 -04:00
Rob Rix
3a1ced9786 Add an elimination form for Cofree. 2015-10-22 18:43:17 -04:00
Rob Rix
6423d5817f Rename the introduction form for Cofree. 2015-10-22 18:43:08 -04:00
Rob Rix
f8739e90b0 zip the terms. 2015-10-22 18:42:04 -04:00
Rob Rix
b210cf8586 Rephrase copying terms into diffs as a hylomorphism. 2015-10-22 18:32:41 -04:00
Rob Rix
95adbdf042 Documentation for reiterate. 2015-10-22 18:31:11 -04:00
Rob Rix
397af0d02d Documentation for hylo. 2015-10-22 18:31:06 -04:00
Rob Rix
b425d69c36 Define hylo and reiterate through Syntax. 2015-10-22 18:18:05 -04:00
Rob Rix
c84578402c Document CofreeType.zip. 2015-10-22 18:09:18 -04:00
Rob Rix
7b57a9ce17 CofreeType values can be zipped. 2015-10-22 18:06:35 -04:00
Rob Rix
6bc8fe4285 Define coiterate over CofreeType. 2015-10-22 18:04:51 -04:00
Rob Rix
9ff1840e4a CofreeTypes have a static curried Wrap constructor function. 2015-10-22 18:04:19 -04:00
Rob Rix
c6962c798d CofreeType requires a constructor. 2015-10-22 18:02:44 -04:00
Rob Rix
4195edc469 Define a reiterate function. 2015-10-22 17:25:58 -04:00
Rob Rix
d0aeedeb52 Define iterate so as to clarify its relationship with cata. 2015-10-22 17:15:49 -04:00
Rob Rix
521e253240 Define hylomorphism through Syntax. 2015-10-22 17:11:35 -04:00
Rob Rix
f4966684a5 Rename the functions to unfold. 2015-10-22 17:09:40 -04:00
Rob Rix
090406aafe Define coiterate so as to reflect its symmetry with ana. 2015-10-22 17:09:00 -04:00
Rob Rix
f0379f421b Define ana using the backwards application operator to clarify dataflow. 2015-10-22 17:08:17 -04:00
Rob Rix
d6a9be0794 Double down on annotations. 2015-10-22 16:02:03 -04:00
Rob Rix
49fb14f6a8 Define Free equality over Patch<Term: CofreeType> without reference to annotation equality. 2015-10-22 16:01:48 -04:00
Rob Rix
39ae63d426 It doesn’t matter if annotations are equatable. 2015-10-22 15:52:08 -04:00
Rob Rix
5e0fbd8d8c Revert "Constrain Free equality over CofreeType to terms whose annotations are equatable." 
This reverts commit a79f354992cbca36fa3e55de648e6bc6c55f956b.
 2015-10-22 15:51:52 -04:00
Rob Rix
651a3c2f91 Don’t constrain recursive Free construction from TermType to the same annotation type. 2015-10-22 15:50:16 -04:00
Rob Rix
657d7edbba Merge branch 'unfold-diffs' into annotate-diffs 
Conflicts:
	prototype/Doubt/Free.swift
	prototype/Doubt/TermType.swift
 2015-10-22 13:40:19 -04:00
Rob Rix
f00f3f485f Copy diffs recursively using ana. 2015-10-22 13:15:13 -04:00
Rob Rix
f36651660b ana is static. 2015-10-22 13:11:00 -04:00
Rob Rix
4cc87bc0cf Tacit unwrapping. 2015-10-22 13:05:16 -04:00
Rob Rix
89adf2cc86 Add a static unwrap function over TermType. 2015-10-22 13:05:08 -04:00
Rob Rix
6bcbccfe08 Document coiterate as an anamorphism. 2015-10-22 12:55:06 -04:00
Rob Rix
f145bb4293 Document ana. 2015-10-22 12:53:18 -04:00
Rob Rix
d4744200ae Rename the parameter to transform. 2015-10-22 12:51:26 -04:00
Rob Rix
e7a525910f Implement anamorphism over Free. 2015-10-22 12:49:41 -04:00
Rob Rix
453fd80318 Section header for CustomDebugStringConvertible. 2015-10-22 11:35:25 -04:00
Rob Rix
6d665ff391 Remove an unused conversion of Free to JSON. 2015-10-22 10:57:31 -04:00
Rob Rix
76b7df9d68 Constrain Free equality over CofreeType to terms whose annotations are equatable. 2015-10-22 10:54:49 -04:00
Rob Rix
8cbb69fa97 Rename the Syntax piecewise JSON functions after the type parameters (mostly). 2015-10-22 10:47:48 -04:00
Rob Rix
40fe88b4a4 Rename the Syntax piecewise equality functions after the type parameters (mostly). 2015-10-22 10:46:51 -04:00
Rob Rix
831f8dcbae Name Free’s piecewise JSON functions after the type parameters. 2015-10-22 10:43:42 -04:00
Rob Rix
b7a341b8b1 Correct omissions in the tests. 2015-10-22 10:43:20 -04:00
Rob Rix
d678946fda Name the piecewise equality functions after the type parameters. 2015-10-22 10:41:42 -04:00
Rob Rix
0a28a390b7 Remove SyntaxConvertible. 2015-10-22 10:40:08 -04:00
Rob Rix
5cfe2b33b9 Free is no longer SyntaxConvertible. 2015-10-22 10:39:33 -04:00
Rob Rix
750def8107 Fix up some comments. 2015-10-22 10:37:00 -04:00
Rob Rix
ad05308ab6 Define the recursive TermType → Free constructor over CofreeType instead. 2015-10-22 10:33:25 -04:00
Rob Rix
c9b33f826c Add an annotation parameter to Free. 2015-10-22 10:30:38 -04:00
Rob Rix
c5e01c41db Rename SES’ A type parameter to Leaf. 2015-10-22 10:28:22 -04:00
Rob Rix
695b69b086 Algorithm’s parameter must be a CofreeType. 2015-10-22 10:26:45 -04:00
Rob Rix
581ea694f9 Interpreter’s parameter must be a CofreeType. 2015-10-22 10:26:36 -04:00
Rob Rix
20ef96b483 Rename the A type parameter to Leaf. 2015-10-22 10:23:20 -04:00
Rob Rix
810c6081b9 Rename the B parameter to Annotation. 2015-10-22 10:22:21 -04:00
Rob Rix
b3fea32706 Remove the explicit conformance to TermType. 2015-10-22 10:21:29 -04:00
Rob Rix
c75b36512c CofreeType implies TermType. 2015-10-22 10:21:04 -04:00
Rob Rix
234c7f59bd Rename more typealiases to drop the Type suffix. 2015-10-22 10:18:27 -04:00
Rob Rix
03aa95caf9 Rename the TermType.LeafType associated type to Leaf. 2015-10-22 10:17:51 -04:00
Rob Rix
7eed54dcdc Rename the B type parameter to Value. 2015-10-22 10:12:52 -04:00
Rob Rix
2aa104ab8c Rename the A type parameter to Leaf. 2015-10-22 10:10:56 -04:00
Rob Rix
ecc21f1e91 No really, hide terms. 2015-10-21 18:07:08 -04:00
Rob Rix
0d5472c3d7 Call out the elements explicitly. 2015-10-21 18:07:02 -04:00
Rob Rix
6152f6b0e7 Monospace. 2015-10-21 18:06:45 -04:00
Rob Rix
f402213c88 Replace the fixtures with less crappy ones. 2015-10-21 18:01:03 -04:00
Rob Rix
1a8ab28edc Hide definition keys. 2015-10-21 17:54:55 -04:00
Rob Rix
299eb0e8a3 No margin or padding on diff elements. 2015-10-21 17:53:57 -04:00
Rob Rix
e3a815f640 Extract the values from the correct objects. 2015-10-21 17:53:46 -04:00
Rob Rix
3a96ea86a7 Restore the original loops. 2015-10-21 17:51:57 -04:00
Rob Rix
2f7f00920e Correct premature abstraction. 2015-10-21 17:51:12 -04:00
Rob Rix
3b15165421 Insert the right values for keyed nodes. 2015-10-21 17:49:14 -04:00
Rob Rix
4fbe3a0c0a Insert the elements into the DOM in the correct order. 2015-10-21 17:46:42 -04:00
Rob Rix
9c2e66b245 Sort values. 2015-10-21 17:46:07 -04:00
Rob Rix
43c9ae3f35 Extract a function to add text and child nodes. 2015-10-21 17:45:55 -04:00
Rob Rix
e706bb9270 Add elements to keyed elements with source ranges. 2015-10-21 17:39:35 -04:00
Rob Rix
6539b309a8 Handle keyed elements specially when there’s source ranges. 2015-10-21 17:38:11 -04:00
Rob Rix
51a304ae0f Mark patches as such. 2015-10-21 17:37:28 -04:00
Rob Rix
61039c5c81 Correct the ranges. 2015-10-21 17:36:26 -04:00
Rob Rix
8583aab653 Diff elements are displayed inline. 2015-10-21 17:35:12 -04:00
Rob Rix
17b8e72189 Respect source whitespace in any child of #diff. 2015-10-21 17:34:30 -04:00
Rob Rix
223186f295 Respect source whitespace in #diff. 2015-10-21 17:34:10 -04:00
Rob Rix
dc36b6a74e Add text nodes to lists. 2015-10-21 17:32:48 -04:00
Rob Rix
6dedcf2ea3 Reference the correct range. 2015-10-21 17:31:56 -04:00
Rob Rix
ebe73eb227 Terms hold the source string. 2015-10-21 17:28:42 -04:00
Rob Rix
4e1a0f512f Do add the text content to leaf nodes. 2015-10-21 17:28:38 -04:00
Rob Rix
c9e08610eb Assign the source and range to syntax nodes. 2015-10-21 17:15:25 -04:00
Rob Rix
fe274fc595 Always assign text content. 2015-10-21 17:11:36 -04:00
Rob Rix
7dae6e027e Assign text content to the term. 2015-10-21 17:10:40 -04:00
Rob Rix
2666290cd4 Add classes to both halves of replacements. 2015-10-21 17:04:35 -04:00
Rob Rix
954c6f739f Don’t add margins. 2015-10-21 17:02:56 -04:00
Rob Rix
b6ac8a87ee Assign text content out to the DOM node. 2015-10-21 17:00:11 -04:00
Rob Rix
23fbde27a2 It’s not that kind of range. 2015-10-21 16:59:38 -04:00
Rob Rix
34951a109d Don’t log the top-level diff. 2015-10-21 16:57:34 -04:00
Rob Rix
13737b7fe7 Assign text content onto the leaf itself. 
This reverts commit aad05e5a2b6650318b5ec04784edbba7614d1224.
 2015-10-21 16:56:23 -04:00
Rob Rix
699e6ee30d Leaf terms capture their text. 2015-10-21 16:53:47 -04:00
Rob Rix
cc7030701e Syntax constructors don’t take the strings. 2015-10-21 16:53:31 -04:00
Rob Rix
f92daa8aeb Recursive constructors close over a/b instead of passing them. 2015-10-21 16:52:49 -04:00
Rob Rix
2c542fbd66 Leaves hold their values. 2015-10-21 16:52:09 -04:00
Rob Rix
dc88a90b8a Patches construct their own terms. 
Terms also only take a single string.
 2015-10-21 16:51:19 -04:00
Rob Rix
3cc4a02dc7 Patch constructors take strings. 2015-10-21 16:47:32 -04:00
Rob Rix
d315f5aabe Construct a single element. 2015-10-21 16:43:18 -04:00
Rob Rix
f30e7411a1 Construct DOM for replacements. 2015-10-21 16:40:02 -04:00
Rob Rix
1c6d3c2349 Construct DOM for insertions. 2015-10-21 16:39:55 -04:00
Rob Rix
909e32d1eb And finally, retrieve elements from the right property. 2015-10-21 16:38:02 -04:00
Rob Rix
a9953d380b Test the right property, too. 2015-10-21 16:37:08 -04:00
Rob Rix
6d2f891a95 Enumerate the right property. 2015-10-21 16:35:39 -04:00
Rob Rix
5347b50ad3 Construct keyed nodes as a definition list. 2015-10-21 16:34:20 -04:00
Rob Rix
25e9054d06 Return an element for leaves. 2015-10-21 16:32:21 -04:00
Rob Rix
86467ff4f4 Insert indexed nodes as a list. 2015-10-21 16:31:53 -04:00
Rob Rix
4f671e461c Terms call directly recursively. 2015-10-21 16:30:51 -04:00
Rob Rix
d5d86e222c Map diffs to divs. 2015-10-21 16:29:42 -04:00
Rob Rix
6ef105ab08 Stub in handling of leaf nodes. 2015-10-21 16:27:08 -04:00
Rob Rix
276f95c669 Construct Diffs recursively. 2015-10-21 16:26:36 -04:00
Rob Rix
be2e6f9a44 Rename view to model. 2015-10-21 16:25:46 -04:00
Rob Rix
87862e839b Diffs are model objects. 2015-10-21 16:24:56 -04:00
Rob Rix
6a515d917d Split things out into temporaries for debugging. 2015-10-21 16:23:25 -04:00
Rob Rix
b0bd628c4f Construct leaves. 2015-10-21 16:22:19 -04:00
Rob Rix
db8c04bd6f Construct terms directly. 2015-10-21 16:19:29 -04:00
Rob Rix
d31f3ce85d Use Indexed/Keyed so we can differentiate leaves. 2015-10-21 16:17:30 -04:00
Rob Rix
3e58fd0ec3 Indexed/Keyed construct objects. 2015-10-21 16:16:11 -04:00
Rob Rix
cdebdecc9d Add elements for keyed nodes. 2015-10-21 16:07:47 -04:00
Rob Rix
6848ecce46 Add elements for arrays. 2015-10-21 16:07:39 -04:00
Rob Rix
6ca9e84892 Map terms into DOM nodes. 2015-10-21 16:05:34 -04:00
Rob Rix
ee1c1acb5b Don’t shadow the continuation. 2015-10-21 16:04:06 -04:00
Rob Rix
df4e37e5de Add DOM stuff to the DOM. 2015-10-21 16:02:55 -04:00
Rob Rix
d425c007e6 keyed produces a hash. 2015-10-21 16:01:45 -04:00
Rob Rix
89f218021f Leaves are just passed straight through. 2015-10-21 16:01:22 -04:00
Rob Rix
2bd26cd80c indexed produces an array. 2015-10-21 16:00:43 -04:00
Rob Rix
17877c7f36 Construct new terms. 2015-10-21 15:58:55 -04:00
Rob Rix
ebd101b22f Add a value for terms. 2015-10-21 15:58:00 -04:00
Rob Rix
2aa2e49f41 Return null. 2015-10-21 15:57:23 -04:00
Rob Rix
27f01cc43f Construct new values. 2015-10-21 15:57:15 -04:00
Rob Rix
848f3ec654 Return the element representing deletions. 2015-10-21 15:55:02 -04:00
Rob Rix
d373c6829c Remove the before/after elements. 2015-10-21 15:54:46 -04:00
Rob Rix
2232be5e9f Pass the input strings around everywhere. 2015-10-21 15:54:10 -04:00
Rob Rix
a7c04a8214 Don’t fetch the before/after terms. 2015-10-21 15:51:47 -04:00
Rob Rix
f687283721 Map replacements into Replace values. 2015-10-21 15:51:40 -04:00
Rob Rix
ba55d8a5ad Map deletion/insertion patches in the source diff into deletions/insertions. 2015-10-21 15:50:29 -04:00
Rob Rix
014efdc84e Map deletions into DOM. 2015-10-21 15:50:13 -04:00
Rob Rix
9d3a6b9ec6 Add values for patches. 2015-10-21 15:50:06 -04:00
Rob Rix
f8f82a6b16 Pass the DOM elements. 2015-10-21 15:49:34 -04:00
Rob Rix
ead175b4e4 We do, now. 2015-10-21 14:10:51 -04:00
Rob Rix
49d0904b1b term recurs through syntax. 2015-10-21 14:09:40 -04:00
Rob Rix
90ae03f234 Recur through replacements. 2015-10-21 14:08:43 -04:00
Rob Rix
6c1b0c0fa6 Use .notation instead of subscripting. 2015-10-21 14:08:35 -04:00
Rob Rix
18fde70e60 Handle insertions/deletions. 2015-10-21 13:01:05 -04:00
Rob Rix
4043a39b2b term takes an element. 2015-10-21 12:59:47 -04:00
Rob Rix
698bc16a98 Find the before/after elements. 2015-10-21 12:59:37 -04:00
Rob Rix
0fd240ee3d Stub in term handling. 2015-10-21 12:58:21 -04:00
Rob Rix
802f6f3f2b diff is its own continuation. 2015-10-21 12:03:17 -04:00
Rob Rix
888379544c Recur via the continuation. 2015-10-21 12:02:57 -04:00
Rob Rix
652b1ee699 We’ll need to handle annotated terms. 2015-10-21 12:02:10 -04:00
Rob Rix
8b9cfde29e Process the top-level diff with diff. 2015-10-21 12:01:30 -04:00
Rob Rix
57456430a1 Pass a continuation around. 2015-10-21 12:01:19 -04:00
Rob Rix
d19f212467 We need to handle leaves. 2015-10-21 12:00:46 -04:00
Rob Rix
64fcc98221 Log the diff. 2015-10-21 11:59:56 -04:00
Rob Rix
61eff92eff Call out to patch/syntax when processing a diff. 2015-10-21 11:59:48 -04:00
Rob Rix
f5380548e2 Annotate Free JSON output with the case explicitly. 
Diffs of diffs were getting pretty confusing.
 2015-10-21 11:57:33 -04:00
Rob Rix
61bb54cdad Stub in a function to process patches. 2015-10-21 11:49:03 -04:00
Rob Rix
3701da8d43 No margin/padding. 2015-10-21 11:48:46 -04:00
Rob Rix
e1ef212539 Merge branch 'load-json-diffs-in-ui' into diff-ui-shows-original-sources 2015-10-21 11:41:46 -04:00
Rob Rix
8eee045dfc Merge branch 'master' into load-json-diffs-in-ui 2015-10-21 11:41:01 -04:00
joshvera
91c6ad085b use sepBy 2015-10-21 11:25:37 -04:00
joshvera
7f5d5d354d indentation 2015-10-21 11:25:33 -04:00
joshvera
2cf0464878 annotate error messages 2015-10-21 11:25:28 -04:00
joshvera
29755448db handle newlines 2015-10-21 11:21:37 -04:00
Rob Rix
1ca7447e0f Process the diff. 2015-10-21 11:17:39 -04:00
Rob Rix
5ba5589766 Add a function for processing syntax elements. 2015-10-21 11:17:33 -04:00
joshvera
cc7f84b6c7 indentation 2015-10-21 11:17:28 -04:00
Rob Rix
81cfdb5020 Add a function for processing keyed syntax elements. 2015-10-21 11:17:25 -04:00
Rob Rix
9aa2261b7d Add a function for processing indexed elements. 2015-10-21 11:17:16 -04:00
joshvera
24cd71a09f 🔥 extension 2015-10-21 11:16:57 -04:00
Rob Rix
65ed7b6635 Remove toDOM. 2015-10-21 11:16:34 -04:00
Rob Rix
e7ee2f6aba Populate the columns with the original sources. 2015-10-21 11:11:50 -04:00
joshvera
246e17b922 Parse numbers 2015-10-21 11:11:49 -04:00
Rob Rix
57f393c2cf Paint the columns. 2015-10-21 11:11:37 -04:00
joshvera
81dc6c602e Remove not combinator 2015-10-21 11:11:36 -04:00
Rob Rix
13113090fd Treat whitespace in the columns as significant. 2015-10-21 11:11:30 -04:00
joshvera
f949bddaa2 ++Madness 2015-10-21 11:11:30 -04:00
Rob Rix
7582eace28 Position the columns. 2015-10-21 11:11:14 -04:00
Rob Rix
c627af6324 Add column elements to the HTML. 2015-10-21 11:11:01 -04:00
Rob Rix
08f4e8c0e1 Wrap the diff in a hash containing both strings. 2015-10-20 18:03:04 -04:00
Rob Rix
3c8245a181 Remove the old UI fixtures. 2015-10-20 17:52:13 -04:00
Rob Rix
c19913abfd Load diff.json. 2015-10-20 17:52:04 -04:00
Rob Rix
690cbb3866 Write the output to UI/diff.json. 2015-10-20 17:51:27 -04:00
Rob Rix
5d10383f64 Ignore a hypothetical diff.json file. 2015-10-20 17:51:08 -04:00
Rob Rix
8f6d3f545e Hella diff. 2015-10-20 17:46:16 -04:00
Rob Rix
a19628c290 Write JSON for the diff to the passed path. 2015-10-20 17:46:07 -04:00
Rob Rix
261d241a53 Pass the path to the UI fixtures to doubt-json. 2015-10-20 17:45:32 -04:00
Rob Rix
5e7f3af600 Convert ranges to JSON in less than 20s. 
This is bad and I feel bad.
 2015-10-20 16:27:07 -04:00
Rob Rix
0a11552638 Separate benchmarks for JSON conversion, serializing, and decoding. 2015-10-20 15:48:08 -04:00
Rob Rix
a7e7ca3b6f Merge remote-tracking branch 'origin/parse-json' into output-source-range-annotations-to-json 2015-10-20 15:45:35 -04:00
joshvera
e8c1b36a2f ++Madness 2015-10-20 15:45:23 -04:00
joshvera
57610c88f6 ++Madness 2015-10-20 15:43:02 -04:00
Rob Rix
1bd924b7db Merge remote-tracking branch 'origin/parse-json' into output-source-range-annotations-to-json 2015-10-20 15:42:35 -04:00
joshvera
322b404651 --Madness 2015-10-20 15:41:12 -04:00
joshvera
2a9e3f7004 ++Madness 2015-10-20 15:29:31 -04:00
joshvera
390177ba60 Use noneOf for performance 2015-10-20 15:28:52 -04:00
joshvera
45d7d5ebdf syntax 2015-10-20 15:28:43 -04:00
Rob Rix
4030e06455 Benchmark JSON output. 2015-10-20 13:15:55 -04:00
Rob Rix
7f26f8e38b Benchmark diffing. 2015-10-20 13:14:19 -04:00
Rob Rix
46e9290268 Benchmark parsing. 2015-10-20 13:14:14 -04:00
Rob Rix
c63c9697b2 Add a benchmark function. 2015-10-20 13:14:03 -04:00
Rob Rix
8c890abf63 No need to double-space. 2015-10-20 12:10:04 -04:00
Rob Rix
a5b1b3d91d Indicate which string failed. 2015-10-20 12:09:38 -04:00
Rob Rix
aebb69c852 Print parse errors. 2015-10-20 12:09:03 -04:00
Rob Rix
ab2142b8d4 Remove the diff fixture thing. 2015-10-20 11:52:12 -04:00
Rob Rix
4487eb16ab Merge remote-tracking branch 'origin/parse-json' into output-source-range-annotations-to-json 
Conflicts:
	prototype/doubt-json/main.swift
 2015-10-20 11:50:24 -04:00
Rob Rix
c5e7a99acc Drop parseJSON. 2015-10-20 11:42:39 -04:00
Rob Rix
85e091d73d Read files in a single function. 2015-10-20 11:42:27 -04:00
joshvera
232d4094ff Use JSONParser in main.swift 2015-10-20 11:12:30 -04:00
joshvera
e847acaac2 Remove JSON extension to JSONLeaf 2015-10-20 11:11:17 -04:00
joshvera
eb07de5a15 parse null and boolean 2015-10-20 11:11:06 -04:00
joshvera
950750654c Parse doubles 2015-10-20 09:20:08 -04:00
joshvera
e031eb5c19 Parse tabs and endOfLines 2015-10-20 09:19:59 -04:00
joshvera
3e9561aee8 Use Madness.satisfy 2015-10-20 09:17:55 -04:00
joshvera
a39076599c Add String.lift back 2015-10-20 09:17:45 -04:00
joshvera
5a509aecd2 ++Madness 2015-10-20 09:16:52 -04:00
joshvera
958e6b2634 remove extraneous whitespace parser 2015-10-19 15:16:47 -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
f1e1541d8b Diff and serialize JSON strings. 2015-10-19 15:15:38 -04:00
joshvera
89d14cf43a Remove extra whitespace parsers 2015-10-19 15:15:25 -04:00
joshvera
c310d0064a Merge branch 'master' into parse-json 
Conflicts:
	.gitmodules
 2015-10-19 15:14:14 -04:00
Josh Vera
107df1988d Merge pull request #132 from github/merge 
Merge
 2015-10-19 15:10:19 -04:00
Rob Rix
706ef4eb1c Merge remote-tracking branch 'origin/parse-json' into output-source-range-annotations-to-json 
Conflicts:
	prototype/doubt-json/main.swift
 2015-10-19 13:20:54 -04:00
Rob Rix
fbd7c1f742 Merge branch 'master' into output-source-range-annotations-to-json 2015-10-19 13:18:12 -04:00
Rob Rix
7c16e4d0cc Recover before/after states with merge. 2015-10-19 13:14:21 -04:00
Rob Rix
607fbb9672 discardNullTerms is static. 2015-10-19 13:13:52 -04:00
Rob Rix
1cf323e416 Add a partial merge method. 2015-10-19 13:12:45 -04:00
Rob Rix
8b5c0c87f8 merge returns a Term. 2015-10-19 13:10:35 -04:00
Rob Rix
415822c1af Implement merge on Free. 2015-10-19 13:05:09 -04:00
Rob Rix
a19101b89c Construct much smaller terms. 2015-10-19 12:44:59 -04:00
Rob Rix
82b7518809 Use the stripped property. 2015-10-19 12:30:39 -04:00
Rob Rix
b915679396 Correct the original state tests. 2015-10-19 12:30:04 -04:00
Rob Rix
f1407d7110 Remove a redundant lazy. 
`Dictionary.keys` is already lazy.
 2015-10-19 12:29:12 -04:00
Rob Rix
e4a0fa0654 Compare _sets_ of keys. 2015-10-19 12:10:31 -04:00
Rob Rix
fa96faa41f Shrink RangedDiffs. 2015-10-19 11:49:05 -04:00
Rob Rix
2656aa27dd RangedDiff wraps RangedTerms. 2015-10-19 11:47:52 -04:00
Rob Rix
6aa1736fbc Shrink ranged terms. 2015-10-19 11:38:32 -04:00
Rob Rix
2a313b18a1 Compute the unannotated term corresponding to ranged terms. 2015-10-19 11:37:13 -04:00
Rob Rix
e78f5d5c43 Revert "UnannotatedTerm is Equatable." 
This reverts commit 76714ae37d821e270ec2e47037cd35f03c86344b.
 2015-10-19 11:32:36 -04:00
Rob Rix
529a7163f6 Revert "UnannotatedTerm is Comparable." 
This reverts commit aac5b979c44d04566fe411cde4a9d857ef62a708.
 2015-10-19 11:32:33 -04:00
Rob Rix
91342a0431 Document the returned array. 2015-10-19 11:31:48 -04:00
Rob Rix
7236a46679 Shrink keyed nodes. 2015-10-19 11:31:44 -04:00
Rob Rix
423d804254 Document the shrunk term. 2015-10-19 11:31:35 -04:00
Rob Rix
9e6aa171a7 Factor out the case. 2015-10-19 11:28:18 -04:00
Rob Rix
2da03dbb67 Shrink outward-in. 2015-10-19 11:27:05 -04:00
Rob Rix
aea35d44e9 Drop some parens. 2015-10-19 11:18:06 -04:00
Rob Rix
7b94606558 Document paramorphism. 2015-10-19 11:17:18 -04:00
Rob Rix
d9823f144e Implement a paramorphism over TermType. 2015-10-19 11:15:44 -04:00
Rob Rix
8bd00f2414 Sort indexed alternatives. 2015-10-19 10:51:08 -04:00
Rob Rix
6e376d9d51 UnannotatedTerm is Comparable. 2015-10-19 10:50:19 -04:00
Rob Rix
df0ba4c10e Attempt to shrink indexed terms. 2015-10-19 10:50:14 -04:00
Rob Rix
fe3236f7bb UnannotatedTerm is Equatable. 2015-10-19 10:49:25 -04:00
Rob Rix
f440cf170e Shrink by case analysis. 2015-10-19 10:47:24 -04:00
Rob Rix
b693578099 Stub in shrinking. 2015-10-19 10:35:58 -04:00
Rob Rix
4be6e61001 Implicit returns. 2015-10-19 10:35:55 -04:00
Rob Rix
0cc7889ae1 Skip equal terms. 2015-10-19 09:52:15 -04:00
joshvera
ea8a01db78 Merge branch 'master' into parse-json 2015-10-17 14:36:07 -04:00
Rob Rix
84919e5b02 Test double inversion idempotency. 2015-10-16 17:46:25 -04:00
Rob Rix
6ac949fe4b Test that differences differ. 2015-10-16 17:46:12 -04:00
Rob Rix
c57d43c48b Extract diff equality. 2015-10-16 17:44:29 -04:00
Rob Rix
0ebe673aaf Inversion is less constrained. 2015-10-16 17:44:18 -04:00
Rob Rix
bec43a2c94 Test that the after state is recoverable. 2015-10-16 17:35:18 -04:00
Rob Rix
20fa9ba32a Test that the before state is recoverable. 
Apparently it is sometimes not!
 2015-10-16 17:34:34 -04:00
Rob Rix
22fe4c4ebb Patch is a Functor. 
My kingdom for DeriveFunctor.
 2015-10-16 17:31:58 -04:00
joshvera
1e156419aa remove framework search paths 2015-10-16 17:29:23 -04:00
Rob Rix
af3630e071 Test that diff equality is reflexive. 2015-10-16 17:26:35 -04:00
Rob Rix
059803788c Construct arbitrary ranged diffs. 2015-10-16 17:21:45 -04:00
Rob Rix
23db982035 Stub in RangedDiff. 2015-10-16 17:17:48 -04:00
Rob Rix
e438646045 Move UnannotatedTerm to its own file. 2015-10-16 17:16:34 -04:00
Rob Rix
ce20112304 Test that equal terms produce identity diffs. 2015-10-16 17:14:08 -04:00
Rob Rix
dee991f0ff Add an interpreter. 2015-10-16 17:13:59 -04:00
Rob Rix
0f59062570 Typealiases. 2015-10-16 17:13:51 -04:00
Rob Rix
34777ef796 Tacit. 2015-10-16 17:07:45 -04:00
Rob Rix
d18a1a6a0a Stub in diff tests. 2015-10-16 17:07:37 -04:00
Rob Rix
8759bf8322 Whatever. 2015-10-16 17:07:23 -04:00
Rob Rix
541ea6b45c Test that equality is reflexive. 2015-10-16 17:03:18 -04:00
Rob Rix
0c75c7d600 Pick a number by fiat. 2015-10-16 17:03:07 -04:00
Rob Rix
2aed2e3d51 Choose from a strictly smaller k. 2015-10-16 17:01:16 -04:00
Rob Rix
6627d40bf9 Recur through a strictly smaller k. 2015-10-16 17:00:10 -04:00