diff options
| author | Lindsey Kuper <lindsey@rockstargirl.org> | 2012-06-01 14:56:33 -0700 |
|---|---|---|
| committer | Lindsey Kuper <lindsey@rockstargirl.org> | 2012-06-02 11:19:27 -0700 |
| commit | 7d0755529e729e2e85c30ad45131cd15eea5f04f (patch) | |
| tree | 1d4dfc0f1cbc7c5c0820a69962c065251ccb18a8 /src/rustc/metadata/tyencode.rs | |
| parent | 77c470d183472b357737b6d3e6c7cafc26174c91 (diff) | |
| download | rust-7d0755529e729e2e85c30ad45131cd15eea5f04f.tar.gz rust-7d0755529e729e2e85c30ad45131cd15eea5f04f.zip | |
Add ty_var_integral (WIP on issue #1425).
Diffstat (limited to 'src/rustc/metadata/tyencode.rs')
| -rw-r--r-- | src/rustc/metadata/tyencode.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/rustc/metadata/tyencode.rs b/src/rustc/metadata/tyencode.rs index eb6631c7a50..4893275f953 100644 --- a/src/rustc/metadata/tyencode.rs +++ b/src/rustc/metadata/tyencode.rs @@ -276,6 +276,12 @@ fn enc_sty(w: io::writer, cx: @ctxt, st: ty::sty) { w.write_char('X'); w.write_uint(id.to_uint()); } + ty::ty_var_integral(id) { + // TODO: should we have a different character for these? (Issue #1425) + w.write_char('X'); + w.write_uint(id.to_uint()); + w.write_str("(integral)"); + } ty::ty_param(id, did) { w.write_char('p'); w.write_str(cx.ds(did)); |