14 Commits

Author	SHA1	Message	Date
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	06047bc31f	Unify them types.	2018-05-16 16:21:02 -04:00
Rob Rix	02947bf61e	Fix the RWS spec.	2018-05-16 16:15:06 -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	2102ab41cf	Rename Decorating to Analysis.	2017-11-27 14:32:13 -05:00
Rob Rix	69595553d6	Rename the Interpreter spec.	2017-11-27 14:03:45 -05:00
Rob Rix	8a3d34a1fc	Rename the SES spec.	2017-11-27 13:51:05 -05:00
Rob Rix	266bd1199a	Rename the RWS spec.	2017-11-27 13:48:43 -05:00