From 04b18f611f8a7d2379537e4f10cd6c660aff960c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 25 Jan 2014 12:27:38 -0500 Subject: [PATCH] Minor fix for REPL type printing The old code worked, but triggered a contract violation when contracts were enabled. original commit: 8f0c298b6d6c16be93ca521005dfe531166263d8 --- pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt index fea8aec0..b73388a9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt @@ -93,7 +93,7 @@ [(tc-results: t) (define tcs (map cleanup-type t)) (define tgs (map generalize tcs)) - (define tgs-val (make-Values tgs)) + (define tgs-val (make-Values (map -result tgs))) (define formatted (pretty-format-type tgs-val #:indent 4)) (define indented? (regexp-match? #rx"\n" formatted)) (format "- : ~a~a~a\n"