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
4b9caec4c5
Fix up tests for Name wrapper
2018-04-04 08:59:13 -07:00
Timothy Clem
208d16e131
Disable import-graph specs for now
2018-04-03 10:12:20 -07:00
Timothy Clem
74c195385e
Disable specs for import graph output temporarily
2018-04-02 15:11:25 -07:00
Timothy Clem
a3d35ac9a0
WIP: Attempt to back out Identifiers as qualified names
2018-04-02 10:40:52 -07:00
Timothy Clem
4c445c2fc1
Fix references to PackageDef in tests
2018-03-26 12:49:52 -07:00
Timothy Clem
1b79ed205e
TOCSpec import cleanup
2018-03-13 10:59:20 -07:00
Timothy Clem
740d092271
Whitespace
2018-03-13 10:59:06 -07:00
Timothy Clem
68ec7adef3
Refine import spec imports
2018-03-13 10:32:25 -07:00
Patrick Thomson
da2a3fc7a8
Initial pass fixing errors raised by weeder
.
...
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Timothy Clem
642a96a53f
Bring back python imports with a little assignment fix
2018-03-08 13:18:13 -08:00
Timothy Clem
e1c1ab54a8
Ruby import graph output just works
2018-03-08 13:02:39 -08:00
Timothy Clem
a74ad46c08
Fix up Go import-graph output and spec
2018-03-08 13:01:13 -08:00
Timothy Clem
74675d6731
Fix up TypeScript import-graph output and tests
2018-03-08 11:37:41 -08:00
Timothy Clem
13b892df53
Adding listable instance uncovered this erroneous test
2018-03-08 09:03:02 -08:00
Timothy Clem
835e8f5980
Major updates to identifiers: free variables can be qualified names
...
(break all the tests too 😁 )
2018-03-07 17:01:47 -08:00
Timothy Clem
34c5f12f3e
Don't run these until output format stablizes a bit
2018-03-06 16:11:14 -08:00