---

yaml
---
r: 856
b: refs/heads/master
c: 679dca8
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b3c4c1426a54d3dfbfae9ab4e54d18875d01885e
+refs/heads/master: 679dca854167cf3004f5d9f3d8a2e81921e5e2cc

trunk/src/boot/me/type.ml

@@ -673,14 +673,19 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
           in
           let arg_ty_opts = Array.map (fun ty -> Some ty) arg_tys in
           ignore (demand_fn ~param_handler:param_handler arg_ty_opts ty);
-          let get_subst subst_opt =
+          let get_subst i subst_opt =
             match subst_opt with
                 Some subst -> subst
               | None ->
-                  Common.bug ()
-                    "internal_check_outer_lval: subst not found"
+                  Common.err
+                    None
+                    "not enough context to instantiate parameter %d of the \
+                    function with type '%a'; please supply type parameters \
+                    explicitly"
+                    (i + 1)
+                    sprintf_ltype lty
           in
-          let substs = Array.map get_subst substs in
+          let substs = Array.mapi get_subst substs in
           begin
             match beta_reduce (Semant.lval_base_id lval) lty substs with
                 LTYPE_mono ty -> yield_ty ty