Tim Chevalier 52f2a9a1c9 Test case to make sure typestate checks the body of class constructors		2012-03-28 10:38:57 -07:00
..
auxiliary	Enforce mutability declarations in classes; correct shapes for classes	2012-03-27 22:11:58 -07:00
bench	Bulk-edit mutable -> mut.	2012-03-26 18:35:18 -07:00
compile-fail	Test case to make sure typestate checks the body of class constructors	2012-03-28 10:38:57 -07:00
pretty	Bulk-edit mutable -> mut.	2012-03-26 18:35:18 -07:00
run-fail	Bulk-edit mutable -> mut.	2012-03-26 18:35:18 -07:00
run-pass	Enforce mutability declarations in classes; correct shapes for classes	2012-03-27 22:11:58 -07:00