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
Timothy Clem
84cde2559b
Cleanup imports
2018-02-07 12:28:18 -08:00
Timothy Clem
fb000828ed
Test out import-graph output for relevant languages
2018-02-07 12:20:41 -08:00
joshvera
11a5cd1455
Enable ruby test
2018-01-25 12:25:02 -05:00
Rob Rix
663621d786
Mark the failing fixture as pending.
2018-01-24 15:17:28 -05:00
Rob Rix
a112fca6f3
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-18 15:07:00 -05:00
Timothy Clem
2f6c669899
Remove extra parens
2017-12-11 12:58:57 -08:00
Timothy Clem
deb7ebadd2
🔥 blobOid too
2017-12-11 11:03:00 -08:00
Timothy Clem
ad377910f9
Completely remove blobKind
2017-12-11 10:54:18 -08:00
Timothy Clem
8ce213fc44
No longer need to track blobKind in Maybe
2017-12-11 10:51:52 -08:00
Timothy Clem
24d98ad71c
Fix up tests
2017-12-10 08:46:17 -08:00
Rob Rix
cbd02eab7b
Merge branch 'master' into musical-modules
2017-11-30 09:53:19 -05:00
Rob Rix
f1c4b58797
Merge branch 'musical-modules' into 🔥 -monolithic-syntax
2017-11-28 11:59:38 -05:00
Rob Rix
41020b7eae
Extract the Declaration algebras into a new module.
2017-11-28 09:17:41 -05:00
Rob Rix
87d533cc2b
Rename Language to Data.Language.
2017-11-27 14:17:48 -05:00
Rob Rix
59fc8bffc9
Rename the TOC spec.
2017-11-27 14:04:58 -05:00