"big" test: test the program output

as opposed to the "small" doctests which test individual functions.

Makefile

@@ -1,6 +1,6 @@
 NAME="$(shell basename `pwd`)"
 
-.PHONY: all config build doc demo clean clobber
+.PHONY: all config build doc test small-tests big-tests demo clean clobber
 
 all: build doc test
 
@@ -15,14 +15,32 @@ build: config
 doc:
 	find src demo -name '*.hs' | xargs haddock --no-warnings --odir=doc --html
 
-test: build
+
+test: small-tests big-tests
+
+small-tests: build
 	find src demo -name '*.hs' | xargs doctest
 	@echo
 
+
+big-tests: $(patsubst tests/%.expected,proofs/%.proof,$(shell find tests -name '*.expected'))
+	-@echo '*** ALL TESTS OK ***'
+
+proofs/%.proof: proofs/%.out tests/%.expected
+	diff $^
+	touch $@
+
+proofs/%.out: tests/%.in build
+	mkdir -p $(dir $@)
+	./dist/build/$(NAME)-demo/$(NAME)-demo < $< > $@
+
+
 demo: build
-	./dist/build/$(NAME)-demo/$(NAME)-demo
+	./dist/build/$(NAME)-demo/$(NAME)-demo < tests/hello.in
 
 
 clean:
+	rm -rf proofs
+
 clobber: clean
 	rm -rf dist

tests/hello.expected

@@ -0,0 +1 @@
+typechecks.