diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt index 9ad2353a..4da06cf3 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt @@ -110,7 +110,7 @@ #`(display #,(match cleaned [(Function: '()) - "Desired return type not in the given function's range."] + "Desired return type not in the given function's range.\n"] [(Function: arrs) (format "~a\n" cleaned)])))] [_ (error (format "~a: not a function" (syntax->datum #'op) ))])))] diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt index 299755be..7584a0a1 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt @@ -93,6 +93,8 @@ (test-form (regexp-quote "(case-> (One -> One) (-> One))") (:query-type/result * 1)) + (test-form #rx"not in the given function's range.\n" + (:query-type/result + String)) (test-form-exn #rx":query-type/result.*applied to arguments" :query-type/result) (test-form-exn #rx":query-type/result.*only valid at the top-level"