Missing semicolon in type.ml, plus test to catch regression. Closes #113.

src/boot/me/type.ml

@@ -771,7 +771,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
         | Ast.STMT_ret (Some atom) ->
             if fn_ctx.fnctx_is_iter then
               Common.err None
-                "iterators can't return values; did you mean 'put'?"
+                "iterators can't return values; did you mean 'put'?";
             demand fn_ctx.fnctx_return_type (check_atom atom)
 
         | Ast.STMT_ret None ->

src/test/compile-fail/wrong-ret-type.rs

@@ -0,0 +1,7 @@
+// error-pattern: mismatched types
+fn mk_int() -> uint {
+  let int i = 3;
+  ret i;
+}
+fn main() {
+}