Rob Rix
0d93d67be8
Define SummarizeDiff over term pairs.
2019-10-17 05:51:32 -04:00
Rob Rix
f2dabc74e4
Rename runDiff to summarize.
2019-10-17 04:13:55 -04:00
Rob Rix
02800fe810
Abstract over the parser in the tests.
2019-10-17 04:10:29 -04:00
Rob Rix
132d8afc5c
Return the summaries directly from runDiff.
2019-10-17 04:04:54 -04:00
Rob Rix
827210b255
Rename diffWithParser to runDiff.
2019-10-17 04:02:18 -04:00
Rob Rix
4e11968054
Correct the expectations.
2019-10-17 03:51:31 -04:00
Rob Rix
5d66493f56
Get the ToC spec compiling again.
2019-10-17 03:48:05 -04:00
Rob Rix
98be55d0e4
🔥 an obsolete test.
2019-10-17 03:30:53 -04:00
Rob Rix
4e83f50053
Fix all the tests.
2019-09-30 17:59:23 -04:00
Rob Rix
a00a78e522
Merge branch 'master' into semantic-source
2019-09-20 16:16:34 -04:00
Rob Rix
0f8e69c72f
Switch everything over to using Source.Loc.
2019-09-20 14:51:48 -04:00
Rob Rix
17c61c19d1
Switch everything over to using Source.Span.
2019-09-20 14:38:03 -04:00
Patrick Thomson
090b014eed
Remove filepath dependency from tests.
2019-09-20 12:26:49 -04:00
Patrick Thomson
1cc29f4361
Add Data.BLob.fileForRelPath and avoid early toString calls.
2019-09-20 12:02:41 -04:00
Patrick Thomson
33ce79724f
Remove TOC.Spec's dependency on FilePath.
2019-09-20 11:20:35 -04:00
Patrick Thomson
43e3fb4533
Remove unnecessary use of parallel
.
2019-06-19 17:22:09 -04:00
Jan Hrček
a644674a54
Fix -Wredundant-constraints warning
2019-06-14 15:56:07 +02:00
Patrick Thomson
6a15695195
Even more unused imports.
2019-06-12 13:16:34 -04:00
Patrick Thomson
b8d3a06a67
Fix all the test cases.
2019-05-21 22:28:32 -04:00
Timothy Clem
1a4d489b1d
Fix up tests, new CLI output
2019-03-11 15:32:15 -07:00
Timothy Clem
0d3a2856c8
Fix up test due to breaking API change
2019-02-15 13:34:05 -08:00
Timothy Clem
cc78c0d8d5
Case Api as generated
2019-02-12 12:49:34 -08:00
Timothy Clem
ce04fa8f12
Refactor runTask
2019-02-01 15:04:23 -08:00
Timothy Clem
15643e1d4f
Switch over ToCDiffRenderer (will fix the tests next)
2019-01-17 15:58:49 -08:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
Timothy Clem
57f284f847
Streamline the declarations for toc summaries
2018-11-08 08:33:26 -08:00
Rob Rix
898fa73969
Hide the import of Diff.
2018-10-29 11:19:40 -04:00
Rob Rix
90338e92fc
Update the TOC spec for the new effect system.
2018-10-24 10:09:57 -04:00
Patrick Thomson
d3db754004
weirdness in tests
2018-10-16 23:04:39 -04:00
Timothy Clem
ac70c565cc
Change up what Declarations we identify
2018-10-05 09:54:57 -07:00
Timothy Clem
35d77b505e
Revert tableOfContentsBy removal of extra Maybe
2018-09-27 13:05:11 -05:00
Timothy Clem
44b8e9249a
Align the things
2018-09-26 16:54:48 -05:00
Timothy Clem
1913277e74
Replace the annotation necessary for toc
...
Includes span in Declaration, refactors toc functions to remove a layer of maybe
2018-09-26 13:54:16 -05:00
Timothy Clem
f6f556fb32
TOC is the only thing with a custom annotation right now
2018-09-25 17:09:43 -05:00
Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Timothy Clem
64c9d20826
Error span changed
2018-09-17 09:56:39 -07:00
Rob Rix
33c04b15c3
Get the tests compiling.
2018-06-22 13:52:21 -04:00
Patrick Thomson
5c131b26f3
Suppress telemetry errors in specs.
...
There are some cases (such as testing diffing a tree with one that has
syntax errors) where semantic, by default, will emit a lot of noise to
stderr. This clogs up the test output and led me (at one point) to
think I had introduced failures that were there all along.
The fix is simple: set the LogLevel to nothing and use runTaskWithOptions.
2018-06-18 14:33:26 -04:00
Patrick Thomson
96771f8ebf
fix tests
2018-06-04 18:53:24 -04:00
Patrick Thomson
4a7ebf71dd
Merge remote-tracking branch 'origin/master' into fix-maybe-language
2018-06-04 18:33:03 -04:00
Patrick Thomson
10a863f57c
Fix tests
2018-06-04 18:26:47 -04:00
Patrick Thomson
d144087486
Merge remote-tracking branch 'origin/master' into text-names
2018-05-30 23:51:11 -04:00
Patrick Thomson
7ba832d566
Fix tests.
2018-05-30 18:29:54 -04:00
Rob Rix
8fc1ccaa19
Merge branch 'recursive-type-families-are-not-our-friends' into 🔥 -galign
2018-05-29 12:49:29 -04:00
Rob Rix
81032f34ec
Whoops.
2018-05-29 12:26:36 -04:00
Rob Rix
f5572e41ca
Use Member instead of Members everywhere!
2018-05-29 12:09:09 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Patrick Thomson
dafb3edaf5
Merge remote-tracking branch 'origin/master' into update-fastsum
2018-05-16 18:26:43 -04:00
Patrick Thomson
322f348103
inj -> inject
2018-05-16 18:25:02 -04:00
Rob Rix
a918420726
diffWithParser needs a Hashable1 instance.
2018-05-16 16:19:18 -04:00