3049 Commits

Author	SHA1	Message	Date
Rob Rix	ca778fd76e	We don’t need to constrain the term type any more.	2018-05-07 15:25:05 -04:00
Rob Rix	4f64d95a51	🔥 redundant language extensions.	2018-05-07 15:21:41 -04:00
Rob Rix	28eec7a7ec	Lift TermEvaluators to Subterm evaluators.	2018-05-07 15:19:57 -04:00
Rob Rix	a4e823681f	Define a TermEvaluator synonym.	2018-05-07 15:19:36 -04:00
Rob Rix	3b4b953506	Run evaluators in IO.	2018-05-07 15:13:01 -04:00
Rob Rix	1bd817bc76	Test that we can construct integers.	2018-05-07 15:10:41 -04:00
Rob Rix	980fd74aed	Define an evaluator helper.	2018-05-07 15:10:11 -04:00
Rob Rix	47d48d695e	Add types for terms, values, and the effects for evaluating terms.	2018-05-07 15:09:50 -04:00
Rob Rix	c427be3670	Stub in a spec for Evaluator.	2018-05-07 14:21:05 -04:00
Rob Rix	ca5ca629dc	Run the analysis.	2018-05-06 17:38:04 -04:00
Rob Rix	2fa602c98f	Fix stale references to interpret.	2018-05-06 17:37:44 -04:00
Rob Rix	a23bc350da	Constrain the specs to Value Precise.	2018-05-06 17:36:33 -04:00
Rob Rix	e638fb4715	Update the specs to use a testEvaluating analysis.	2018-05-06 17:30:07 -04:00
Rob Rix	b6709b4da2	Use the correct injection/projection functions in the tests.	2018-05-06 17:23:39 -04:00
Rob Rix	da3ddd2b17	Fix the specs.	2018-05-02 16:10:56 -04:00
Rob Rix	243fb331fc	Fix stale references to inj in the tests.	2018-05-02 15:55:10 -04:00
Rob Rix	911111987a	Return to piecemeal state effects, and combine them in Evaluating.	2018-05-02 15:54:11 -04:00
Rob Rix	152fe6a6a8	Fix the ambiguity around Sum.	2018-05-02 13:14:51 -04:00
Rob Rix	ebc8e01cc4	Use our own local definition of Sum.	2018-05-02 12:00:15 -04:00
Rob Rix	216b414995	LoadError doesn’t need a type parameter for the value.	2018-04-30 16:40:27 -04:00
Rob Rix	57389da2c9	Add a test that we pass arguments correctly.	2018-04-30 14:50:16 -04:00
Rob Rix	013b5cb4b7	Merge branch 'master' into analyses-provide-and-handle-effects	2018-04-30 14:22:09 -04:00
Timothy Clem	a5cc587b85	Merge remote-tracking branch 'origin/master' into eval-__FILE__	2018-04-27 07:59:06 -07:00
Timothy Clem	d2b47533f7	Fix up test	2018-04-27 07:56:59 -07:00
Rob Rix	0720ee9267	A tidy module header is a happy module header.	2018-04-27 10:11:54 -04:00
Rob Rix	173645a48b	🔥 readFileVerbatim.	2018-04-27 10:10:43 -04:00
Rob Rix	2fc2090e02	Move ValueError & throwValueError into Data.Abstract.Value.	2018-04-27 10:09:03 -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
Charlie Somerville	7cdb2625fd	fix tests	2018-04-27 12:04:48 +10:00
Timothy Clem	08600b4155	Merge remote-tracking branch 'origin/master' into eval-__FILE__	2018-04-26 13:23:42 -07:00
Rob Rix	1942e20af1	🔥 runAnalysis.	2018-04-26 10:17:47 -04:00
Rob Rix	5ed0e37740	Move diffWithParser into the tests.	2018-04-26 09:05:18 -04:00
Rob Rix	94f5ea39dd	Add an Erroring analysis for LoadErrors.	2018-04-26 08:50:41 -04:00
Timothy Clem	2bc392b282	Merge remote-tracking branch 'origin/master' into eval-__FILE__	2018-04-25 16:23:07 -07:00
Rob Rix	f264a605ed	Fix up the specs.	2018-04-25 17:12:10 -04:00
Rob Rix	2267f24ea8	Merge branch 'master' into analyses-provide-and-handle-effects	2018-04-25 16:43:00 -04:00
Timothy Clem	8e50c3b5f9	Fix tests	2018-04-25 12:46:38 -07:00
Timothy Clem	37c8bffb82	Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror	2018-04-25 10:51:23 -07:00
Rob Rix	22c8fec448	Import the other exceptions.	2018-04-25 12:46:01 -04:00
Rob Rix	ddef556499	Import Erroring.	2018-04-25 12:38:28 -04:00
Rob Rix	4be5418b92	Correct the type of TestEvaluating.	2018-04-25 12:34:08 -04:00
joshvera	f7e6609069	Remove readProjectEntry	2018-04-25 12:10:33 -04:00
Timothy Clem	af46dbd3aa	Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror	2018-04-24 14:00:07 -07: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
Rob Rix	aab795d9bb	Correct an import in the specs.	2018-04-24 12:00:43 -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
Timothy Clem	ba2d2b6eb3	Changed the structure of ImportPath so I guess we diff differently	2018-04-23 15:53:53 -07:00