Rob Rix
3906d33194
This weight is already being added by way of the lifts.
2017-02-14 12:38:07 -05:00
Rob Rix
b7e052cb1a
List all Category values.
...
Helps avoid the combinatorial explosion that comes from multiplying all of the Category constructors by all of the Syntax constructors.
2017-02-14 12:37:32 -05:00
Rob Rix
e35e8d788e
Simpler definitions of liftCons2 through 5.
2017-02-14 12:21:12 -05:00
Rob Rix
319ecc61ce
Simpler definition of liftTiers2 over (,).
2017-02-14 12:20:56 -05:00
Rob Rix
ad81f4f605
Add weight to every layer of Free/Cofree.
2017-02-14 11:59:42 -05:00
Rob Rix
c275b0fc04
Export ofWeight and addWeight.
2017-02-14 11:59:15 -05:00
Timothy Clem
4e336520bc
Remove test files
2017-02-14 08:35:10 -08:00
Timothy Clem
8bc4da76c9
Have to check parentInfo for duplicates
2017-02-14 08:27:00 -08:00
Rob Rix
6edd2fbaf4
Print failed examples nicely.
2017-02-14 09:57:21 -05:00
Timothy Clem
2770540191
Make sure we have a real Summarizable to replace with
2017-02-13 17:30:33 -08:00
Timothy Clem
d68633f643
WIP - identify similar methods/functions
2017-02-13 17:18:25 -08:00
Timothy Clem
31519dda42
Remove dups, including matching method names
2017-02-13 16:15:38 -08:00
Rob Rix
f656ac3d32
Merge remote-tracking branch 'origin/master' into hold-on-to-your-butts
2017-02-13 17:39:57 -05:00
Rob Rix
c753196c79
There are no longer newlines here.
2017-02-13 17:39:05 -05:00
Timothy Clem
87dbe3ed9a
Merge branch 'master' into go-receiver-toc-iteration
2017-02-13 14:36:42 -08:00
Rob Rix
53a52191f6
Merge pull request #1002 from github/generate-test-cases-lives-in-tools
...
Move generate-test-cases into its own package.
2017-02-13 17:33:44 -05:00
Rob Rix
744f921224
transFreeT -> hoistFree.
2017-02-13 17:30:55 -05:00
Rob Rix
80c1647d02
Fail -> Failure, plus Reason.
2017-02-13 17:29:05 -05:00
Rob Rix
b893085385
Add a hint to use unwrap instead of tailF . runCofree
2017-02-13 17:26:41 -05:00
Rob Rix
7d284252c5
Migrate semantic-diff to lts-8.0.
2017-02-13 17:25:45 -05:00
Rob Rix
e63de49d12
Move generate-test-cases into its own package.
...
When building a component, `stack` also builds all of the executables in the same package. This means that profiling iterative changes to semantic-diff also involve compiling, linking, and copying generate-test-cases. By moving it to its own package, we’re able to avoid that penalty.
2017-02-13 16:22:16 -05:00
Timothy Clem
cb611a4aa6
Pass in parentOffset to toTermName
2017-02-13 12:53:20 -08:00
Rob Rix
52025ac5e5
Don’t trim the source for recursive calls into termToDiffInfo.
2017-02-13 15:19:06 -05:00
Rob Rix
6a2f773a1d
Merge branch 'what-the-text' of https://github.com/github/semantic-diff into what-the-text
2017-02-13 13:51:39 -05:00
Rob Rix
566891afb7
Offset by the parent’s starting index.
2017-02-13 13:51:07 -05:00
Timothy Clem
775684c31a
++haskell-tree-sitter again
2017-02-13 10:42:48 -08:00
Timothy Clem
cc84373c6e
++haskell-tree-sitter
2017-02-13 10:29:02 -08:00
Rob Rix
7cf8a7ddbb
Compute the child node’s range, not the parent’s.
2017-02-13 12:28:05 -05:00
Rob Rix
5c17ab5149
Restore AlignmentSpec to its former “glory.”
2017-02-13 12:17:46 -05:00
Rob Rix
e0fe090074
Test actualLineRanges over Source directly.
2017-02-13 11:58:30 -05:00
Rob Rix
329485febd
Define a Listable instance for Source.
2017-02-13 11:55:20 -05:00
Rob Rix
d18dfe453e
Use the correct offset for child ranges.
...
This also ensures that getChild must close over the correct range & source.
2017-02-13 11:41:57 -05:00
Rob Rix
b473e4eafe
Extract isNonEmpty & nodeRange.
2017-02-13 11:41:10 -05:00
Rob Rix
47ea50ae01
Merge branch 'what-the-text' of https://github.com/github/semantic-diff into what-the-text
2017-02-13 11:39:09 -05:00
Timothy Clem
50f3b61760
Merge branch 'master' into what-the-text
2017-02-13 08:33:39 -08:00
Rob Rix
e03c8abb69
Test Source properties with LeanCheck.
2017-02-13 10:55:57 -05:00
Rob Rix
0ce897db17
🔥 Source.uncons.
2017-02-13 10:17:55 -05:00
Rob Rix
3a0064e796
Define actualLines over Text internally.
2017-02-13 10:17:44 -05:00
Rob Rix
86be2c584e
🔥 toString.
2017-02-13 09:39:56 -05:00
Rob Rix
24722c3fb6
Render Text.
2017-02-13 09:39:33 -05:00
Timothy Clem
4f8e0e23f5
++haskell-tree-sitter
2017-02-10 15:35:09 -08:00
Timothy Clem
0c0287642b
🔥 temp.rb
2017-02-10 15:35:09 -08:00
Rob Rix
802c048ec6
Pull the drop & take into the where clause.
...
This change, while semantically equivalent, causes `slice` to complete in approximately 1/3rd the time, and allocate only a fraction as much.
Maybe ghc can fuse this better or something? I honestly have no idea, but I’ll take it.
/cc @github/semantic-code
2017-02-10 17:09:54 -05:00
Rob Rix
2bfc2d91c8
Offset the child range correctly.
2017-02-10 16:57:33 -05:00
Rob Rix
f8cc3b8933
Close over the right source.
2017-02-10 16:53:40 -05:00
Rob Rix
00c14e403a
Revert "Source carries its Range."
...
This reverts commit 6e075787935c10b0bd7256673a5623cb5d1a4945.
2017-02-10 16:44:09 -05:00
Rob Rix
f3bad55fee
Revert "Close over the correct source."
...
This reverts commit 6770d9970d9e4aee6029e9b739583c1dc8cfc372.
2017-02-10 16:44:07 -05:00
Rob Rix
46aa3b8fc0
Revert "Take the range from the source."
...
This reverts commit fd59885f1dc0a4dba976617ed6791d76ad44f708.
2017-02-10 16:44:06 -05:00
Rob Rix
aa78d3215f
Revert "Make doubly sure we don’t close over the wrong variable."
...
This reverts commit 9d24a050f33ad4e123f82a272331d39fd75de68b.
2017-02-10 16:44:03 -05:00
Rob Rix
7d019b9032
Revert "O(1) length."
...
This reverts commit db4025e8daacf7a8a716b5ddc621b6053cff768f.
2017-02-10 16:44:00 -05:00
