156 Commits

Author	SHA1	Message	Date
Charlie Somerville	de80f1906e	fix SpecHelpers to hit heap for namespaces	2018-07-19 17:03:17 +10:00
Charlie Somerville	a3bc96834c	Merge branch 'master' into charliesome/module-result	2018-07-18 14:53:31 +10:00
Charlie Somerville	6837b1d637	names takes a Binding, not an Environment	2018-07-17 12:04:54 +10:00
Charlie Somerville	752e29c9ef	use ModuleResult type alias here too	2018-07-17 11:42:01 +10:00
Patrick Thomson	ae550c59c8	Merge remote-tracking branch 'origin/master' into abstract-call-graph	2018-07-13 11:11:46 -04:00
Rob Rix	255a0aa62b	Move TaskConfig into Semantic.Util.	2018-07-10 14:09:02 -04:00
Rob Rix	b33daf0ce1	Pass the task config stuff around as a single datum.	2018-07-10 13:49:34 -04:00
Rob Rix	90cb86d027	Pass config & queues to the integration specs.	2018-07-09 14:26:15 -04:00
Patrick Thomson	c5b722dbba	Merge remote-tracking branch 'origin/master' into abstract-call-graph	2018-07-09 11:28:24 -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
Patrick Thomson	1eed347da6	fix the specs	2018-06-29 16:17:27 -04:00
Rob Rix	a236328056	Merge branch 'master' into higher-order-effects	2018-06-26 15:14:28 -04:00
Rob Rix	7d37d3eb11	Resume defining LoopControl as using Exc.	2018-06-26 12:09:21 -04:00
Rob Rix	492947ae2e	Resume defining Return as using Exc.	2018-06-26 12:00:25 -04:00
Rob Rix	3fb45b5d50	Preserve the structure of the data we’re testing against.	2018-06-25 12:27:30 -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	6abd29a65d	Reuse UtilEff.	2018-06-21 13:46:28 -04:00
Rob Rix	3c537e3337	We’re in Evaluator, not TermEvaluator.	2018-06-21 13:44:58 -04:00
Rob Rix	4e57d32e91	🔥 the outdated reference to the module table state.	2018-06-21 13:36:11 -04:00
Rob Rix	418b15077a	Not EvaluatingState.	2018-06-21 13:34:42 -04:00
Rob Rix	e0f5d4ee22	Don’t use evaluating.	2018-06-21 13:22:58 -04:00
Rob Rix	1e26865c65	🔥 evaluatePackageWith.	2018-06-21 13:19:24 -04:00
Rob Rix	e972abd2e3	Factor runFresh out of evaluating.	2018-06-20 12:17:46 -04:00
Rob Rix	1b245278a1	🔥 the value parameter from Modules.	2018-06-18 13:18:20 -04:00
Rob Rix	9bf816db3b	🔥 the value parameter from LoadError.	2018-06-18 13:15:10 -04:00
Rob Rix	c36b04fd17	Re-export Proxy from SpecHelpers.	2018-06-18 11:11:22 -04:00
Rob Rix	792cdcc5e2	Re-export Lower from SpecHelpers.	2018-06-15 11:41:38 -04:00
Rob Rix	31893e6ced	Bump effects for https://github.com/joshvera/effects/pull/54. ... This requires us to specify the lists of effects fully.	2018-06-13 16:35:56 -04:00
Rob Rix	6a239acb35	🔥 redundant parens.	2018-06-13 16:26:25 -04:00
Charlie Somerville	b68d12f4e7	deref pointers to values in testEvaluating	2018-06-08 11:33:04 +10:00
Charlie Somerville	2fc9f1ca25	add type annotation to testEvaluating	2018-06-07 12:01:48 +10:00
Rob Rix	b19c381edb	🔥 the Fail effect.	2018-06-06 09:45:40 -04:00
Rob Rix	6adc5d7413	Placate hlint some more.	2018-05-30 10:33:51 -04:00
Rob Rix	282c02fbbd	Embed the evaluating action into the closure body.	2018-05-28 14:11:08 -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	2993c3588c	Correct the specs.	2018-05-28 08:54:33 -04:00
Rob Rix	5ac256e340	🔨 fix the type in the spec	2018-05-24 12:09:20 -04:00
Rob Rix	2cb425dbb5	Merge branch 'master' into decompose-values	2018-05-22 15:43:51 -04:00
joshvera	378dad0d69	Merge remote-tracking branch 'origin/master' into grpc-server	2018-05-21 12:33:22 -04:00
Rob Rix	2ba726cb28	Fix a dodgy import.	2018-05-18 13:06:49 -04:00
Rob Rix	75d83155ec	Re-export the Name module.	2018-05-18 13:06:35 -04:00
Timothy Clem	a60ed7bc16	Merge remote-tracking branch 'origin/master' into package-dot-json-parsing	2018-05-16 12:07:13 -07:00
Timothy Clem	f81ea4bff5	s/File/Project b/c that makes more sense to me	2018-05-16 08:38:00 -07:00
Rob Rix	47e92a766f	Merge remote-tracking branch 'origin/master' into fix-abstract-semantics	2018-05-15 18:47:47 -04:00
Rob Rix	788618a9d0	Fix extracting values from Latest in the tests.	2018-05-15 17:43:57 -04:00
Rob Rix	3ab781ea48	🔥 all the constraining functions since we can use type applications instead.	2018-05-15 13:51:07 -04:00
Rob Rix	dcaad09deb	Fix the specs.	2018-05-15 12:58:05 -04:00