diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/semant.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 1e568df0..efa64c9c 100644 --- a/src/boot/me/semant.ml +++ b/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 |