aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/semant.ml
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-10-21 11:31:04 -0700
committerPatrick Walton <[email protected]>2010-10-21 11:31:04 -0700
commit194f38fdff2b2067413b6eabf3d6da57fbba2dc1 (patch)
treeeb27acb9f91d526f4e4a6a3097a56c778dd94004 /src/boot/me/semant.ml
parentUse "friendly" type names when reporting a "mismatched type-params" error (diff)
downloadrust-194f38fdff2b2067413b6eabf3d6da57fbba2dc1.tar.xz
rust-194f38fdff2b2067413b6eabf3d6da57fbba2dc1.zip
rustboot: Don't use ridiculous type names when describing simple types like int and uint
Diffstat (limited to 'src/boot/me/semant.ml')
-rw-r--r--src/boot/me/semant.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index 0bb6a8bb..4f278d12 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -971,7 +971,7 @@ let ty_fold_rebuild (id:Ast.ty -> Ast.ty)
let rec pretty_ty_str (cx:ctxt) (fallback:(Ast.ty -> string)) (ty:Ast.ty) =
let cache = cx.ctxt_user_type_names in
- if Hashtbl.mem cache ty then
+ if not (Ast.ty_is_simple ty) && Hashtbl.mem cache ty then
let names = List.map (Ast.sprintf_name ()) (Hashtbl.find_all cache ty) in
String.concat " = " names
else