Tim Chevalier 664d71f1f0 Improve a typechecker error message (wrong type for main()) ... As per #1903, state what type is expected for main(). Closes #1903		2012-03-11 20:55:19 -07:00
..
auxiliary	core: Clean up comments and exports	2012-03-10 00:35:02 -08:00
bench	Add an infinite loop construct	2012-03-09 16:40:58 -08:00
compile-fail	Improve a typechecker error message (wrong type for main())	2012-03-11 20:55:19 -07:00
pretty	Rewrite exhaustiveness checker	2012-02-15 15:47:42 +01:00
run-fail	core Remove vec::enum_chars/uint. Closes #1955	2012-03-10 17:07:23 -08:00
run-pass	A few tests for infinite loops	2012-03-11 20:17:27 -07:00