---

yaml
---
r: 839
b: refs/heads/master
c: fc8b515
h: refs/heads/master
i:
  837: d3ed78a
  835: fc734bc
  831: b3e7c8b
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 6ec402d4a66d2c0306e525e1e124cc38ecbeb421
+refs/heads/master: fc8b5155a87b5a9ae2313f7282cab9893f4b9f3e

trunk/src/boot/me/resolve.ml

@@ -324,7 +324,11 @@ let rec lookup_type_by_name
                 log cx "args: %s"
                   (Fmt.fmt_to_str Ast.fmt_app_args args);
             end;
-          let ty = rebuild_ty_under_params cx None ty params args true in
+          let ty =
+            rebuild_ty_under_params
+              ~node_id:(id_of_scope (List.hd scopes))
+              cx None ty params args true
+          in
             iflog cx (fun _ -> log cx "--- lookup_type_by_name %a ==> %a"
                         Ast.sprintf_name name
                         Ast.sprintf_ty ty);

trunk/src/boot/me/semant.ml

@@ -1043,6 +1043,7 @@ let rec pretty_ty_str (cx:ctxt) (fallback:(Ast.ty -> string)) (ty:Ast.ty) =
 ;;
 
 let rec rebuild_ty_under_params
+    ?node_id:id_opt
     (cx:ctxt)
     (src_tag:Ast.ty_tag option)
     (ty:Ast.ty)
@@ -1052,7 +1053,7 @@ let rec rebuild_ty_under_params
     : Ast.ty =
   if (Array.length params) <> (Array.length args)
   then
-    err None
+    err id_opt
       "mismatched type-params: %s has %d param(s) but %d given"
       (pretty_ty_str cx (Ast.sprintf_ty ()) ty)
       (Array.length params)