From 24ee49b7a20ac4d686ead26ab56756c225a49ba8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 13 Apr 2013 18:37:08 -0500 Subject: [PATCH] add an "contract on:" line for the case when an #:important argument overrides the name of the value so we can keep that original name somewhere related to PR 13692 --- collects/racket/contract/private/blame.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/racket/contract/private/blame.rkt b/collects/racket/contract/private/blame.rkt index 3f64ee42b5..ab1ed6d5ef 100644 --- a/collects/racket/contract/private/blame.rkt +++ b/collects/racket/contract/private/blame.rkt @@ -235,6 +235,11 @@ (for/list ([party (in-list blame-parties)]) (format "\n ~a" (convert-blame-singleton party))))])) + (define on-line + (and (blame-important blme) + (blame-value blme) + (format " contract on: ~a" (blame-value blme)))) + (define from-line (if (blame-original? blme) (let ([from-positive-message @@ -256,6 +261,7 @@ " in:" (substring contract-line 5 (string-length contract-line)))) from-line + on-line blaming-line at-line))