4 Commits

Author	SHA1	Message	Date
Graydon Hoare	c36645b358	Assume xfail-stage0 implies stage1 and stage2 in tests, for now.	2011-05-03 18:14:02 -07:00
Graydon Hoare	49d9d5688e	Switch xfail system to use comments embedded in source files.	2011-03-25 12:19:20 -07:00
Patrick Walton	c96f0bf738	Implement the "simple typechecker", which avoids HM inference	2010-07-15 18:27:09 -07:00
Graydon Hoare	0fdad302b8	Fix ret/put mis-identification in typechecker. Closes #87.	2010-07-14 09:41:08 -07:00