---

pcwalton · pcwalton · commit 3f3f92b178c6 · 2010-09-16T10:26:20.000-07:00
yaml --- r: 678 b: refs/heads/master c: 1676a38 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 09793dd0c85be635666c308719cf83f377a7ac6e
+refs/heads/master: 1676a389be5ea1c11702b1f01222fb4175fb0513
diff --git a/trunk/src/boot/me/type.ml b/trunk/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)

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 09793dd0c85be635666c308719cf83f377a7ac6e`
	`2`	`+refs/heads/master: 1676a389be5ea1c11702b1f01222fb4175fb0513`