---

yaml
---
r: 813
b: refs/heads/master
c: 4bb675b
h: refs/heads/master
i:
  811: 6745050
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 28d43678b6dee9307632627f5de07511aa0c830f
+refs/heads/master: 4bb675ba4243314baf3b41dbea01511fdc3ae729

trunk/src/boot/me/semant.ml

@@ -978,7 +978,12 @@ let rec rebuild_ty_under_params
     (resolve_names:bool)
     : Ast.ty =
   if (Array.length params) <> (Array.length args)
-  then err None "mismatched type-params"
+  then
+    err None
+      "mismatched type-params: %s has %d param(s) but %d given"
+      (Ast.sprintf_ty () ty)
+      (Array.length params)
+      (Array.length args)
   else
     let nmap = Hashtbl.create (Array.length args) in
     let pmap = Hashtbl.create (Array.length args) in