5 Commits

Author	SHA1	Message	Date
Graydon Hoare	d1affff623	Reliciense makefiles and testsuite. Yup.	2012-12-10 17:32:58 -08:00
Brian Anderson	200959d7ce	Remove 'with'	2012-09-04 15:47:04 -07:00
Michael Sullivan	92743dc2a6	Move the world over to using the new style string literals and types. Closes #2907.	2012-07-14 01:03:43 -07:00
Niko Matsakis	7ae757ff1a	add annotation for variable that used to infer to bot	2012-03-24 21:55:53 -07:00
Tim Chevalier	c7592803d9	Compute typestates for FRU exprs correctly, plus a bit of cleanup ... The code in Issue 948 was causing typestate to diverge because it was using the prestate for the whole expression -- not the post- state for the fields list -- as the prestate for the record base expression. Fixed. Closes #948	2012-01-19 17:24:27 -08:00