75 Commits

Author	SHA1	Message	Date
Rob Rix	bcf9338b75	Update the language specs to respect the env-per-entry-point thing.	2018-05-30 17:19:05 -04:00
Rob Rix	04b43477c9	🔥 a reference to Address in the spec.	2018-05-30 09:46:30 -04:00
Rob Rix	7b02e3e64f	Correct the EnvironmentError application.	2018-05-28 15:30:19 -04:00
Rob Rix	f0c220906a	Partially apply Eff in the tests.	2018-05-28 14:48:00 -04:00
Rob Rix	a01e723b31	Run ValueErrors in TermEvaluator.	2018-05-28 09:55:01 -04:00
Rob Rix	015b74cf41	Give Value a term type parameter once more.	2018-05-28 09:35:42 -04:00
Rob Rix	a2135fda74	Don’t use overloaded lists.	2018-05-28 09:35:03 -04:00
Rob Rix	2993c3588c	Correct the specs.	2018-05-28 08:54:33 -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	788618a9d0	Fix extracting values from Latest in the tests.	2018-05-15 17:43:57 -04:00
Rob Rix	716e225da9	Test that puts ends up in the traces.	2018-05-10 11:03:42 -04:00
Rob Rix	2410387e97	Allow the tests to examine the traces.	2018-05-10 10:58:24 -04:00
Rob Rix	75d2c50589	Test the results of cross-module function calls.	2018-05-10 10:26:07 -04:00
Rob Rix	4fca683eae	Test for the presence of the desired symbols rather than the exact list.	2018-05-10 10:10:57 -04:00
Rob Rix	8b8f3007cf	Test the imported names, not the prelude names.	2018-05-10 09:08:12 -04:00
Rob Rix	c0993c63c9	Test our evaluation of __LINE__.	2018-05-09 15:23:52 -04:00
Rob Rix	fb04c57bdf	Use a visible type application to inject the environment error.	2018-05-08 12:03:08 -04:00
Rob Rix	b66ea73427	Reassociate errors in the specs.	2018-05-07 16:56:40 -04:00
Rob Rix	b1dea9c5f0	Switch variable over to EnvironmentError.	2018-05-07 15:56:47 -04:00
Rob Rix	e638fb4715	Update the specs to use a testEvaluating analysis.	2018-05-06 17:30:07 -04:00
Rob Rix	57389da2c9	Add a test that we pass arguments correctly.	2018-04-30 14:50:16 -04:00
Rob Rix	33d68f9d8d	Treat breaks as an effect.	2018-04-27 10:00:07 -04:00
Rob Rix	97c76c7fdc	Rename ReturnThrow to Return, and use it as an effect.	2018-04-27 09:26:40 -04:00
Rob Rix	1942e20af1	🔥 runAnalysis.	2018-04-26 10:17:47 -04:00
Rob Rix	f264a605ed	Fix up the specs.	2018-04-25 17:12:10 -04:00
joshvera	f7e6609069	Remove readProjectEntry	2018-04-25 12:10:33 -04:00
Josh Vera	48c471e9d6	Merge branch 'master' into project-dir	2018-04-24 16:31:20 -04:00
joshvera	421cc0d1a1	Add readProjectEntry to the Files effects	2018-04-24 15:48:44 -04:00
joshvera	3fb3097c96	back to using Maybe Language in File	2018-04-23 19:47:13 -04:00
Patrick Thomson	930b7d513d	Merge remote-tracking branch 'origin/master' into break-continue	2018-04-23 19:10:37 -04:00
Patrick Thomson	061b6852a8	Add test cases.	2018-04-23 13:14:52 -04:00
Patrick Thomson	ab8dc613fd	Fix tests.	2018-04-23 13:09:32 -04:00
Timothy Clem	0ebf2185ab	Merge remote-tracking branch 'origin/master' into lazy-parse	2018-04-23 09:23:58 -07:00
Timothy Clem	10d13cd424	Bring preludes back for testing, clean up Util	2018-04-22 07:47:59 -07:00
Timothy Clem	45386ed1ce	Get the tests compiling again	2018-04-21 07:22:09 -07:00
Charlie Somerville	0d9cb46d07	add test cases for early return	2018-04-20 14:47:52 +10:00
joshvera	c8784ffab9	Revert "Yield maybes from scopedEnvironment, and values from ScopedEnvironmentErrors" ... This reverts commit d09318a14143b80ae4e90a7192e94b0f9b512bd3.	2018-04-19 13:45:39 -04:00
joshvera	984cda99d0	Fix tests	2018-04-19 13:35:45 -04:00
joshvera	fde2253fc5	pure?	2018-04-05 19:49:50 -04:00
Timothy Clem	eb883770df	Bring Ruby up to speed with latest import strategy	2018-04-02 11:31:26 -07:00
Timothy Clem	a3d35ac9a0	WIP: Attempt to back out Identifiers as qualified names	2018-04-02 10:40:52 -07:00
joshvera	e8db080923	Merge remote-tracking branch 'origin/master' into less-fail	2018-03-28 13:12:20 -04:00
joshvera	af0793a7ad	Add Eq1 error instances and fix tests	2018-03-28 12:58:12 -04:00
Rob Rix	5ae24ddc89	Merge branch 'master' into combined-state-effects	2018-03-28 08:33:19 -04:00
Timothy Clem	3d56947e82	Fix typos	2018-03-27 15:18:38 -07:00
Rob Rix	b8d714af28	Use the EvaluatingState fields directly.	2018-03-27 15:23:26 -04:00
Timothy Clem	bea56e5bab	Demonstrate a little more detail of subclassing	2018-03-26 15:29:39 -07:00
Timothy Clem	3eece19234	Assert environment has module in it	2018-03-26 12:53:58 -07:00
Timothy Clem	f3ceab31b0	Cleanup	2018-03-26 12:53:49 -07:00