diff options
Diffstat (limited to 'src/comp/middle')
| -rw-r--r-- | src/comp/middle/metadata.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/middle/metadata.rs b/src/comp/middle/metadata.rs index a55fb848..588a7d1c 100644 --- a/src/comp/middle/metadata.rs +++ b/src/comp/middle/metadata.rs @@ -123,7 +123,7 @@ fn sty_str(ty.sty st, def_str ds) -> str { } case (ty.ty_var(?id)) {ret "X" + common.istr(id);} case (ty.ty_native) {ret "E";} - case (ty.ty_param(?def)) {ret "p" + ds(def);} + case (ty.ty_param(?def)) {ret "p" + ds(def) + "|";} case (ty.ty_type) {ret "Y";} } } |