4 Commits

Author	SHA1	Message	Date
Tim Chevalier	a1b440baaa	Un-XFAIL some tests that now pass.	2011-05-20 19:54:14 -07:00
Brian Anderson	f33d490032	Remove xfail-boot lines from tests	2011-05-14 21:05:22 -04:00
Tim Chevalier	6b742aec91	Enforce in typechecker that preds return a bool ... as well as a test case	2011-05-05 11:26:07 -07:00
Tim Chevalier	acf9bd7909	Test cases for pred / check stuff	2011-05-05 11:26:07 -07:00