all:
	del 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
	fc result result.ok

clean:
	del result
