From fdafec39de31913fdcd3c8bc19c3ca63b0bedaa0 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 18:38:28 -0700
Subject: [PATCH] Clarify in type logging when we have a constraint vs. a
 resolved type.

---
 src/boot/me/type.ml | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index fff6f013b66..2ec35f75672 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;