aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-09-15 15:42:34 -0700
committerPatrick Walton <[email protected]>2010-09-16 10:26:20 -0700
commit1676a389be5ea1c11702b1f01222fb4175fb0513 (patch)
tree5741e097419a84299878bf8b48354d00eef25867 /src
parentNot finding a name in a module isn't a bug, it's an error. Report it as such. (diff)
downloadrust-1676a389be5ea1c11702b1f01222fb4175fb0513.tar.xz
rust-1676a389be5ea1c11702b1f01222fb4175fb0513.zip
Switch the "expected" and "actual" types for function parameter mismatches
Diffstat (limited to 'src')
-rw-r--r--src/boot/me/type.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 77f8644b..888472fa 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -182,7 +182,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
None, _ -> ()
| Some a, Ast.TY_param (idx, effect) ->
param_handler a idx effect
- | Some a, _ -> demand a b
+ | Some a, _ -> demand b a
in
Common.arr_iter2 maybe_demand arg_tys in_slot_tys;
get_slot_ty (ty_sig.Ast.sig_output_slot)