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
Patrick Thomson
6b0198cb00
Remove otiose -Sum prefixes from all Data.Sum operations.
...
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
2018-05-16 15:27:08 -04:00
Rob Rix
84ea29a60b
Fix the tests.
2018-05-14 18:39:41 -04:00
Rob Rix
03749d008e
We can just say diff now.
2018-05-14 16:11:31 -04:00
Rob Rix
b6709b4da2
Use the correct injection/projection functions in the tests.
2018-05-06 17:23:39 -04:00
Rob Rix
da3ddd2b17
Fix the specs.
2018-05-02 16:10:56 -04:00
Rob Rix
ebc8e01cc4
Use our own local definition of Sum.
2018-05-02 12:00:15 -04:00
Rob Rix
5ed0e37740
Move diffWithParser into the tests.
2018-04-26 09:05:18 -04:00
Timothy Clem
b9857cd033
Move the toc test fixtures around too
2018-04-18 13:42:29 -07:00
Timothy Clem
1b79ed205e
TOCSpec import cleanup
2018-03-13 10:59:20 -07:00