11 Commits

Author	SHA1	Message	Date
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