Patrick Thomson
bb86469f56
Fix unused imports.
2019-06-19 17:35:37 -04:00
Patrick Thomson
43e3fb4533
Remove unnecessary use of parallel
.
2019-06-19 17:22:09 -04:00
Patrick Thomson
99c4bb21f8
Overhaul test harnesses and add tasty bounds.
2019-06-12 11:30:20 -04:00
Rick Winfrey
33a16ee1a2
Clean up unused imports
2018-11-30 16:23:43 -08:00
Rick Winfrey
b20e2d3f7e
Export lists
2018-11-30 16:23:29 -08:00
Timothy Clem
a6ad3f7f59
Reduce usage of DiffAnnotation
2018-09-25 16:52:40 -05:00
Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Rob Rix
926e32db29
More missing imports.
2018-07-20 10:04:34 -04:00
Rob Rix
ee4452e29e
Fix missing imports.
2018-07-20 09:56:33 -04:00
Rob Rix
f98263ca10
Fix a missing import.
2018-07-20 09:53:52 -04:00
Rob Rix
c696984b60
Move beforeTerm/afterTerm into the tests.
2018-07-20 09:52:11 -04:00
Patrick Thomson
1eed347da6
fix the specs
2018-06-29 16:17:27 -04:00
Patrick Thomson
dd4a939f21
merge fallout
2018-06-04 12:18:02 -04:00
Patrick Thomson
322f348103
inj -> inject
2018-05-16 18:25:02 -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
5bae88724b
Move the diffTermPair tests into the interpreter spec.
2018-05-14 16:09: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
Timothy Clem
a3d35ac9a0
WIP: Attempt to back out Identifiers as qualified names
2018-04-02 10:40:52 -07: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
Rob Rix
69595553d6
Rename the Interpreter spec.
2017-11-27 14:03:45 -05:00