diff options
| author | Graydon Hoare <[email protected]> | 2010-07-01 18:38:28 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-01 18:38:28 -0700 |
| commit | fdafec39de31913fdcd3c8bc19c3ca63b0bedaa0 (patch) | |
| tree | a97f8c2ab12d68bfd1bc3f8cb58ca4139450a1b4 /src/boot/me | |
| parent | Add compile-check target for just attempting to compile, not run, the tests. (diff) | |
| download | rust-fdafec39de31913fdcd3c8bc19c3ca63b0bedaa0.tar.xz rust-fdafec39de31913fdcd3c8bc19c3ca63b0bedaa0.zip | |
Clarify in type logging when we have a constraint vs. a resolved type.
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/type.ml | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index fff6f013..2ec35f75 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -106,12 +106,16 @@ let rec tyspec_to_str (ts:tyspec) : string = fmt_tyspec ff (!tv) | TYSPEC_box tv -> - fmt ff "@@"; - fmt_tyspec ff (!tv) + fmt_obr ff; + fmt ff "box "; + fmt_tyspec ff (!tv); + fmt_cbr ff; | TYSPEC_mutable tv -> - fmt ff "mutable "; - fmt_tyspec ff (!tv) + fmt_obr ff; + fmt ff "mut "; + fmt_tyspec ff (!tv); + fmt_cbr ff | TYSPEC_callable (out, ins) -> fmt_obb ff; @@ -128,9 +132,11 @@ let rec tyspec_to_str (ts:tyspec) : string = fmt_cbb ff; | TYSPEC_tuple tvs -> + fmt_obr ff; fmt ff "tuple ("; fmt_tvs ff tvs; fmt ff ")"; + fmt_cbr ff; | TYSPEC_vector tv -> fmt_obb ff; |