Joe Groff
|
2ca507eb1a
|
refactor stack-checker slightly to fix circular dependency
|
2010-03-05 14:27:36 -08:00 |
|
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 |