76 Commits

Author	SHA1	Message	Date
Rob Rix	40d46e921d	Pass the configuration to the analysis specs.	2018-07-10 14:09:22 -04:00
Rob Rix	bcbc70446c	Merge branch 'charliesome/substitution' into abstract-abstract-semantics	2018-07-05 14:15:01 -04:00
Rob Rix	5100670e72	Rename Data.Abstract.Value to Data.Abstract.Value.Concrete.	2018-07-03 14:22:26 -04:00
Rob Rix	a236328056	Merge branch 'master' into higher-order-effects	2018-06-26 15:14:28 -04:00
Rob Rix	a0dfbb449f	Fix some errant pure ()s.	2018-06-25 17:36:56 -04:00
Rob Rix	1f129a6a50	Fix the Python specs.	2018-06-25 17:33:38 -04:00
Rob Rix	f70974e206	Fix up the TypeScript specs. ... Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>	2018-06-25 15:57:04 -04:00
Rob Rix	65d85e682d	Use irrefutable patterns in the Python import specs.	2018-06-25 11:55:00 -04:00
Rob Rix	7ae66f18ea	Just say Python.	2018-06-25 11:51:17 -04:00
Rob Rix	2ed8688c28	Update the tests to pass a list of paths.	2018-06-22 15:45:42 -04:00
Rob Rix	98348908e6	🔥 some redundant imports.	2018-06-22 15:37:38 -04:00
Rob Rix	33c04b15c3	Get the tests compiling.	2018-06-22 13:52:21 -04:00
Rob Rix	eedc8f4b7e	Rearrange the spec helper to match Util.	2018-06-21 14:52:08 -04:00
Rob Rix	e0f5d4ee22	Don’t use evaluating.	2018-06-21 13:22:58 -04:00
Rob Rix	2ad49b314f	Update the specs.	2018-06-18 11:10:44 -04:00
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	f9b29f143e	And another.	2018-05-30 09:46:56 -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
Timothy Clem	6517f12684	Merge remote-tracking branch 'origin/master' into python-relative-imports	2018-05-16 12:25:22 -07:00
Rob Rix	788618a9d0	Fix extracting values from Latest in the tests.	2018-05-15 17:43:57 -04:00
Timothy Clem	27ce720904	Test out relative python imports	2018-05-15 11:26:16 -07:00
Rob Rix	13660b9e9d	Test for expected symbols, not exact symbols.	2018-05-10 10:59:38 -04:00
Rob Rix	2410387e97	Allow the tests to examine the traces.	2018-05-10 10:58:24 -04:00
Rob Rix	69bd2c0af5	Test Python environments/heaps without encoding addresses.	2018-05-10 09:59:54 -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	2fa602c98f	Fix stale references to interpret.	2018-05-06 17:37:44 -04:00
Rob Rix	e638fb4715	Update the specs to use a testEvaluating analysis.	2018-05-06 17:30:07 -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
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	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	984cda99d0	Fix tests	2018-04-19 13:35:45 -04:00
joshvera	fde2253fc5	pure?	2018-04-05 19:49:50 -04:00
Timothy Clem	7dd2c2b0c4	With print in prelude, fix up these specs	2018-04-03 15:50:18 -07:00
Timothy Clem	e54e61cea0	Python imports in the new world work again	2018-04-02 11:07:09 -07:00
Timothy Clem	a3d35ac9a0	WIP: Attempt to back out Identifiers as qualified names	2018-04-02 10:40:52 -07:00
Timothy Clem	a495716e09	Fix it so that the tests compile	2018-03-30 16:19:39 -07:00