Improve a typechecker error message (wrong type for main())

As per #1903, state what type is expected for main().

Closes #1903

Author: catamorphism

Diff for: src/rustc/middle/typeck.rs

@@ -3122,10 +3122,11 @@ fn check_main_fn_ty(tcx: ty::ctxt, main_id: ast::node_id, main_span: span) {
         ok &= num_args == 0u || num_args == 1u &&
               arg_is_argv_ty(tcx, inputs[0]);
         if !ok {
-            tcx.sess.span_err(main_span,
-                              "wrong type in main function: found `" +
-                                  ty_to_str(tcx, main_t) + "`");
-        }
+                tcx.sess.span_err(main_span,
+                   #fmt("Wrong type in main function: found `%s`, \
+                   expecting `native fn([str]) -> ()` or `native fn() -> ()`",
+                         ty_to_str(tcx, main_t)));
+         }
       }
       _ {
         tcx.sess.span_bug(main_span,

Diff for: src/test/compile-fail/bad-main.rs

@@ -1,3 +1,3 @@
-// error-pattern:wrong type in main function
+// error-pattern:expecting `native fn([str])
 
 fn main(x: int) { }

Diff for: src/test/compile-fail/main-wrong-type-2.rs

@@ -1,3 +1,3 @@
 fn main() -> char {
-//!^ ERROR wrong type in main function: found `native fn() -> char`
+//!^ ERROR Wrong type in main function: found `native fn() -> char`
 }

Diff for: src/test/compile-fail/main-wrong-type.rs

@@ -1,3 +1,3 @@
 fn main(foo: {x: int, y: int}) {
-//!^ ERROR wrong type in main function: found `native fn({x: int,y: int})`
+//!^ ERROR Wrong type in main function: found `native fn({x: int,y: int})`
 }