From 1676a389be5ea1c11702b1f01222fb4175fb0513 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Wed, 15 Sep 2010 15:42:34 -0700
Subject: Switch the "expected" and "actual" types for function parameter
 mismatches

---
 src/boot/me/type.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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)
-- 
cgit v1.2.3