all:
	rm -f result
	mosml -P full test.sml > result
	mosml -P full < ovlfail.sml >> result
	mosml -P full < constfai.sml >> result
	mosml -P full < testcon.sml >> result
	mosml -P full < testty.sml >> result
	mosml -P full < typerr.sml >> result
	diff result result.ok

clean:
	rm -f result
