factor

Author	SHA1	Message	Date
Joe Groff	8a36d57505	make effect variables part of effect syntax, stored out of band in effect tuple	2010-03-05 13:30:10 -08:00
Joe Groff	fb86397021	make tests pass	2010-03-04 22:43:01 -08:00
Joe Groff	7f33e007f9	improve error reporting	2010-03-04 21:51:49 -08:00
Joe Groff	5c0787a1e3	nested scopes were messing up stack checker state	2010-03-04 20:15:26 -08:00
Joe Groff	9eeb0c1b3b	initial implementation of row-polymorphism check	2010-03-04 19:30:08 -08:00