1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

16787 Commits

Author SHA1 Message Date
Rob Rix
6bd44acdda Chain the high-level flow. 2017-10-23 14:37:11 -04:00
Rob Rix
76cfa737e1 Represent MappedDiff as These of pairs rather than pairs of Theses. 2017-10-23 14:14:10 -04:00
Rob Rix
3729189aad Restore defaultMoveBound & interpret it as the number of places following the previous index. 2017-10-23 13:35:00 -04:00
Rob Rix
1b432d9cba Inline the definition of isInMoveBounds. 2017-10-23 13:27:01 -04:00
Rob Rix
f721f287b0 Extract a function for the nearby/comparability filter. 2017-10-23 12:40:46 -04:00
Rob Rix
e9f7e7e09e Don’t pass the comparability relation to nearestUnmapped. 2017-10-23 12:23:12 -04:00
Rob Rix
8cd4c596bd 🔥 editDistanceIfComparable. 2017-10-23 12:22:14 -04:00
Rob Rix
598901b8da 🔥 the comparability test for the approximate edit distance computation. 2017-10-23 12:22:00 -04:00
Rob Rix
b41fa03a3e 🔥 a redundant comparability check. 2017-10-23 12:20:55 -04:00
Rob Rix
0fb84d5ff3 Filter the sets of candidates by comparability. 2017-10-23 12:20:22 -04:00
Rob Rix
3462892131 🔥 redundant imports. 2017-10-23 11:59:19 -04:00
Rob Rix
3351c60859 Move the permutation tests into InterpreterSpec. 2017-10-23 11:58:52 -04:00
Rob Rix
6200a00b6e Rename the identity diff property. 2017-10-23 11:58:43 -04:00
Rob Rix
46e2b5fb15 Rename the interpreter spec. 2017-10-23 11:58:31 -04:00
Rob Rix
a23d60dc09 🔥 a redundant test that equal terms produce identity diffs. 2017-10-23 11:57:36 -04:00
Rob Rix
1652dc1147 🔥 redundant tests of the lossless property. 2017-10-23 11:55:44 -04:00
Rob Rix
9c1dce7ab9 🔥 the Context/Empty Listable instances. 2017-10-23 11:53:42 -04:00
Rob Rix
c0d833f361 🔥 the Context/Empty tests of the Mergeable laws. 2017-10-23 11:53:36 -04:00
Rob Rix
16b86bb9a2 beforeTerm/afterTerm can handle substructural diffs. 2017-10-23 11:10:53 -04:00
Rob Rix
293731e71b Define the Mergeable instance for NonEmpty recursively.
This prevents failure in the first element precluding success later on.
2017-10-23 10:58:13 -04:00
Rob Rix
6a0321c401 Test the Mergeable laws against a Union. 2017-10-23 10:40:33 -04:00
Rob Rix
8245e337ce Define a Listable instance for Union. 2017-10-23 10:36:53 -04:00
Rob Rix
395678bcb3 Test the Mergeable laws against Context & Empty. 2017-10-23 10:32:48 -04:00
Rob Rix
0184f57713 Define Listable instances for Context & Empty. 2017-10-23 10:32:32 -04:00
Rob Rix
662eb608a7 Align the beforeTerm/afterTerm definitions. 2017-10-23 10:28:59 -04:00
Rob Rix
b0fdc0e607 🔥 mergeMaybe. 2017-10-23 10:27:03 -04:00
Rob Rix
e8101cd735 Correct how we show the tail of records. 2017-10-23 10:14:41 -04:00
Rob Rix
dd33e479ea Don’t parenthesize Nil. 2017-10-23 10:14:21 -04:00
Rob Rix
a4a4074a22 Re-enable the pending tests. 2017-10-23 09:40:06 -04:00
Rob Rix
22538876ea Explicitly list the exports from Data.Diff. 2017-10-23 09:39:08 -04:00
Rob Rix
8fbdd8e6c3 🔥 diffSum. 2017-10-23 09:39:00 -04:00
Rob Rix
02d5bc1518 🔥 diffCost. 2017-10-23 09:38:22 -04:00
Rob Rix
08eedd23cc Measure the length of diffPatches instead of using diffCost. 2017-10-23 09:37:47 -04:00
Rob Rix
bb5e061aac List the imports from Data.Mergeable explicitly. 2017-10-23 09:37:25 -04:00
Josh Vera
8bb048a8e6 Merge pull request #1401 from github/tableofcontentsby-bugfix
modify tableOfContentsBy method
2017-10-16 14:42:17 -04:00
Josh Vera
06f97356df Merge branch 'master' into tableofcontentsby-bugfix 2017-10-16 13:56:35 -04:00
Ayman Nadeem
a26dd3e3b1 Merge pull request #1376 from github/dev-setup-questions
Update README.md
2017-10-16 09:10:15 -07:00
Ayman Nadeem
b190ba59c5 Merge branch 'master' into dev-setup-questions 2017-10-16 09:06:17 -07:00
Rob Rix
bd4b2de6d8 Merge branch 'master' into tableofcontentsby-bugfix 2017-10-13 15:49:05 -04:00
Rob Rix
378b50ffd5 Merge pull request #1408 from github/simpler-repl-package-loading
Simpler REPL package loading
2017-10-13 14:51:17 -04:00
Rob Rix
b44485b8d4 Merge branch 'master' into tableofcontentsby-bugfix 2017-10-13 14:24:43 -04:00
Rob Rix
a5925ce9ed This doesn’t work. 2017-10-13 14:23:11 -04:00
Ayman Nadeem
8f496db787 delete Unchanged entries 2017-10-13 10:50:29 -07:00
Rob Rix
8b89c73979 Rename the reload binding to :r. 2017-10-13 12:47:46 -04:00
Rob Rix
1cc005bc4a Pretty-printing is on by default. 2017-10-13 12:47:28 -04:00
Rob Rix
bcf273b019 Define pretty with unlines & without importing. 2017-10-13 12:47:21 -04:00
Rob Rix
b77d847a19 🔥 source because it’s dangerous now. 2017-10-13 12:46:16 -04:00
Rob Rix
5e0a1c9101 Update .ghci 2017-10-13 12:42:08 -04:00
Rob Rix
07ab2d4032 Merge pull request #1406 from github/repl-script
script/repl, project-wide .ghci defaults, & 💡ProTip!s
2017-10-13 11:54:25 -04:00
Rob Rix
b22f4f9fc3 No : in the prompt. 2017-10-13 11:41:52 -04:00