3 Commits

Author	SHA1	Message	Date
Patrick Walton	c96f0bf738	Implement the "simple typechecker", which avoids HM inference	2010-07-15 18:27:09 -07:00
Graydon Hoare	6a0b06e562	Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; keep MEM_interior for describing interior-parts-of-allocations)	2010-06-30 22:45:54 -07:00
Graydon Hoare	d6b7c96c3e	Populate tree.	2010-06-23 21:03:09 -07:00