3112 Commits

Author	SHA1	Message	Date
Rob Rix	367982bc8d	Don’t use SomeRenderer in the CLI spec.	2018-05-14 18:44:19 -04:00
Rob Rix	84ea29a60b	Fix the tests.	2018-05-14 18:39:41 -04:00
Rob Rix	f047b57ecc	Encoding order is significant.	2018-05-14 16:18:57 -04:00
Rob Rix	03749d008e	We can just say diff now.	2018-05-14 16:11:31 -04:00
Rob Rix	5bae88724b	Move the diffTermPair tests into the interpreter spec.	2018-05-14 16:09:39 -04:00
Rob Rix	1128537b6a	Correct a bunch of fixtures.	2018-05-14 10:50:57 -04:00
Rob Rix	75ab25d443	Generalize the type of toOutput.	2018-05-14 10:31:40 -04:00
Rob Rix	b979e9757c	Run the builders.	2018-05-14 10:28:01 -04:00
Rob Rix	fc70382d5b	Correct the handle types.	2018-05-14 10:27:58 -04:00
Rob Rix	5813258037	Add a runBuilder helper.	2018-05-14 10:27:45 -04:00
Rob Rix	0d0aeafdc5	Add an openFileForReading helper for the tests.	2018-05-14 10:23:29 -04:00
Rob Rix	29be8a5243	Provide a helper which builds bytestrings.	2018-05-14 10:20:13 -04:00
Rob Rix	29af5d4d3a	Build the bytestrings.	2018-05-14 10:18:52 -04:00
Rob Rix	a9d3b29e02	We expect a ByteString here.	2018-05-11 15:31:28 -04:00
Rob Rix	9ed1bc4a38	ByteStrings.	2018-05-11 14:59:50 -04:00
Rob Rix	5497b9a2a4	Swap the Heap location/cell params.	2018-05-11 08:36:45 -04:00
Rob Rix	6ba840e90b	Go back to simple address types.	2018-05-11 08:35:43 -04:00
Rob Rix	67892e9cf1	Define Precise as a GADT indexed by its cell type.	2018-05-10 19:27:20 -04:00
Rob Rix	2abfd92678	Bump effects for https://github.com/joshvera/effects/pull/43	2018-05-10 18:27:10 -04:00
Rob Rix	dcad4d852c	Parameterize Heap by the cell type.	2018-05-10 12:31:12 -04:00
Rob Rix	716e225da9	Test that puts ends up in the traces.	2018-05-10 11:03:42 -04: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	75d2c50589	Test the results of cross-module function calls.	2018-05-10 10:26:07 -04:00
Rob Rix	c2f48fb982	🔥 the ns/addr conveniences.	2018-05-10 10:11:34 -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	ae7ee6e860	Test Go environments/heaps against the names.	2018-05-10 10:07:11 -04:00
Rob Rix	5af09d94e1	Test PHP environments/heaps against the names, not addresses.	2018-05-10 10:03:59 -04:00
Rob Rix	69bd2c0af5	Test Python environments/heaps without encoding addresses.	2018-05-10 09:59:54 -04:00
Rob Rix	9ec588ed3c	Use the shared helpers for TypeScript.	2018-05-10 09:59:31 -04:00
Rob Rix	6e37f24cee	Define a helper to take namespaces apart.	2018-05-10 09:58:38 -04:00
Rob Rix	30a85b576d	Define a helper to dereference qualified names in values.	2018-05-10 09:55:11 -04:00
Rob Rix	821691549e	Test the bound names, not their addresses.	2018-05-10 09:28:11 -04:00
Rob Rix	8b8f3007cf	Test the imported names, not the prelude names.	2018-05-10 09:08:12 -04:00
Rob Rix	76a40939d6	Test the bound names.	2018-05-09 22:04:52 -04:00
Rob Rix	27a25d9a45	Type applications.	2018-05-09 22:04:46 -04:00
Rob Rix	91ca0e1aba	Run Gotos via a newtype to break the cycle in the effects types.	2018-05-09 21:30:34 -04:00
Rob Rix	924aa3e243	Correct the corpus for the new line directive syntax.	2018-05-09 15:24:42 -04:00
Rob Rix	c0993c63c9	Test our evaluation of __LINE__.	2018-05-09 15:23:52 -04:00
Rob Rix	3cbf66c57e	🔥 TermEffects.	2018-05-09 12:39:22 -04:00
Rob Rix	f18d066c88	🔥 the Term newtype.	2018-05-09 12:36:48 -04:00
Rob Rix	d02fdb419a	Only export spec.	2018-05-09 12:36:40 -04:00
Rob Rix	4dca1c121e	🔥 the term parameter to Evaluator.	2018-05-09 12:35:01 -04:00
Rob Rix	3948f74810	Correct the type of the module table effect.	2018-05-08 16:46:17 -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	2aae3dbdd3	Allow runGoto to return its jump table.	2018-05-08 11:10:35 -04:00
Rob Rix	97915e1410	Rename lambda to closure.	2018-05-08 10:54:32 -04:00
Rob Rix	d9084f9f45	lambda takes the set of free variables as a parameter.	2018-05-08 10:54:04 -04:00
Rob Rix	5a4e6cb0b0	Merge branch 'evaluator-dsl' into evaluate-closures-without-terms	2018-05-08 10:40:41 -04:00
Rob Rix	8881dc0284	Fix an ambiguous reference to runM.	2018-05-08 10:40:25 -04:00