Fix printing of contracts.

Closes #6.

Author: stamourv

boundary-view.rkt

@@ -117,7 +117,7 @@
       #:exists 'replace
       (lambda ()
         (for ([contract+key (in-list contracts->keys)])
-          (printf "[~a] = ~a\n"
+          (printf "[~a] = ~s\n"
                   (cdr contract+key)
                   (car contract+key)))))))
 

main.rkt

@@ -114,7 +114,7 @@
     (make-srcloc-shortener all-blames blame-source))
   (define (format-contract/loc c s)
     (string-append
-     (~a (blame-contract c) #:limit-marker limit-dots #:width location-width)
+     (~s (blame-contract c) #:limit-marker limit-dots #:width location-width)
      (~a (format-samples-time s) "\n")
      (~a (srcloc->string (shorten-source c))
          #:limit-marker limit-dots
@@ -146,8 +146,12 @@
                           (blame-value (contract-sample-blame x)))
                         g)
               > #:key length)])
-      (display (~a "    " (blame-value (contract-sample-blame (car x)))
-                   #:limit-marker limit-dots #:width location-width))
+      (define indent "    ")
+      (display (string-append
+                indent
+                (~s (blame-value (contract-sample-blame (car x)))
+                    #:limit-marker limit-dots
+                    #:width (- location-width (string-length indent)))))
       (displayln (format-samples-time x)))
     (newline))
 

utils.rkt

@@ -35,7 +35,8 @@
                          "        value=~a\n"
                          "        source=~a>\n")
           (blame-positive b) (blame-negative b)
-          (blame-contract b) (blame-value b) (blame-source b)))
+          (contract-name (blame-contract b))
+          (blame-value b) (blame-source b)))
 
 ;; (listof (U path-string? submodule-path #f)) -> same
 (define (shorten-paths ps*)