diff options
| author | Jakub Bukaj <jakub@jakub.cc> | 2014-10-30 21:17:06 +0100 |
|---|---|---|
| committer | Jakub Bukaj <jakub@jakub.cc> | 2014-10-30 21:38:20 +0100 |
| commit | a2624fc90891b8265550229e38bc255e61a9d335 (patch) | |
| tree | 0afdc9d250bcd9c4bc1dc70df827e8ca15c24644 /src/librustc/util | |
| parent | cac995444b69cb1453bc2be1fd5de27f110c0e01 (diff) | |
| download | rust-a2624fc90891b8265550229e38bc255e61a9d335.tar.gz rust-a2624fc90891b8265550229e38bc255e61a9d335.zip | |
Use the `_` representation for integral variables as well
Diffstat (limited to 'src/librustc/util')
| -rw-r--r-- | src/librustc/util/ppaux.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/librustc/util/ppaux.rs b/src/librustc/util/ppaux.rs index 633a350ddb2..8befba00fd2 100644 --- a/src/librustc/util/ppaux.rs +++ b/src/librustc/util/ppaux.rs @@ -376,9 +376,8 @@ pub fn ty_to_string(cx: &ctxt, typ: t) -> String { format!("_#{}i", vid), ty::FloatVar(ty::FloatVid { index: vid }) if print_var_ids => format!("_#{}f", vid), - ty::TyVar(_) => "_".to_string(), - ty::IntVar(_) => "_#i".to_string(), - ty::FloatVar(_) => "_#f".to_string(), + ty::TyVar(_) | ty::IntVar(_) | ty::FloatVar(_) => + "_".to_string(), ty::SkolemizedTy(v) => format!("SkolemizedTy({})", v), ty::SkolemizedIntTy(v) => format!("SkolemizedIntTy({})", v) } |