diff options
| author | Patrick Walton <[email protected]> | 2010-10-20 11:22:44 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-10-20 11:22:44 -0700 |
| commit | 4bb675ba4243314baf3b41dbea01511fdc3ae729 (patch) | |
| tree | 4af61fcef3de6458931b99d9ffa3fb06fb1a1142 /src/boot | |
| parent | Add a virtual destructor to rust_thread in sync.h, to quiet the compiler (diff) | |
| download | rust-4bb675ba4243314baf3b41dbea01511fdc3ae729.tar.xz rust-4bb675ba4243314baf3b41dbea01511fdc3ae729.zip | |
Print better error messages when the number of type params is wrong
Diffstat (limited to 'src/boot')
| -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 |