10 Commits

Author	SHA1	Message	Date
Patrick Thomson	daf12b5132	Integrate prelude into the test suite.	2019-10-15 13:10:18 -04:00
Patrick Thomson	e419e33a50	Make compile interface use a more powerful continuation.	2019-10-09 14:50:53 -04:00
Patrick Thomson	e98e483c13	Define Compile interface in terms of compileCC.	2019-09-23 13:30:23 -04:00
Patrick Thomson	375c975338	Use compileCC to build a record of toplevel bindings.	2019-09-23 11:56:40 -04:00
Patrick Thomson	d9f88fc046	Add a CHECK-TREE directive and simplify esoteric jq tests. ... Due to the problems outlined in #245, the tests for return statements were complicated and not testing useful properties. This patch adds a new `CHECK-TREE` directive which lets you embed a Core expression as a string, which is parsed and then compared against the result of compiling the containing module.	2019-09-18 18:07:43 -04:00
Patrick Thomson	a9328c3671	Derive JSON instances for the Core trees.	2019-09-04 23:10:54 -04:00
Patrick Thomson	80df9c1f1d	pass the scope graph explicitly	2019-08-27 10:47:45 -04:00
Patrick Thomson	dde59eb626	jq-based test suite works	2019-08-16 13:20:08 -04:00
Patrick Thomson	3fb642c06d	Experiment with LLVM-style directives for test assertions	2019-08-13 16:35:11 -04:00
Patrick Thomson	b8ba99ff12	Move these down a directory.	2019-08-12 14:52:43 -04:00