From 0886c4f2a76042e42b3eddd56c939a9e73193913 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 Jan 2014 20:21:35 -0500 Subject: [PATCH] Fix type printer test Forgot to change the test string for commit b5bc36391693baa1b1953f7860d2d0b0821e9830 original commit: a1b79f0bd225234dcf06b41a9ca0ef28353c02fb --- .../succeed/type-printer-single-level.rkt | 26 ++++++++++++++----- 1 file changed, 19 insertions(+), 7 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/type-printer-single-level.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/type-printer-single-level.rkt index 36d2e442..07c6d648 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/type-printer-single-level.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/type-printer-single-level.rkt @@ -28,11 +28,23 @@ (string-append "(U Integer String)\n[can expand further: Integer]" "(Foo -> Foo)\n[can expand further: Foo]" "(Number -> Integer)\n[can expand further: Integer Number]" - "((U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte " - "Positive-Fixnum-Not-Index Negative-Fixnum " - "Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) " - "-> (U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte " - "Positive-Fixnum-Not-Index Negative-Fixnum " - "Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum" - "))\n")) + "((U String\n" + " 0\n" + " 1\n" + " Byte-Larger-Than-One\n" + " Positive-Index-Not-Byte\n" + " Positive-Fixnum-Not-Index\n" + " Negative-Fixnum\n" + " Positive-Integer-Not-Fixnum\n" + " Negative-Integer-Not-Fixnum)\n" + " ->\n" + " (U String\n" + " 0\n" + " 1\n" + " Byte-Larger-Than-One\n" + " Positive-Index-Not-Byte\n" + " Positive-Fixnum-Not-Index\n" + " Negative-Fixnum\n" + " Positive-Integer-Not-Fixnum\n" + " Negative-Integer-Not-Fixnum))\n"))