suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add newline in query-type/result.

Browse Source 
original commit: 9f68c959eef5915269f29abe450d60154a3d4978
This commit is contained in:
Eric Dobson 2013-11-17 20:00:11 -08:00
parent f0beca5e3a
commit d1e1f0240b
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
View File

@ -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) ))])))]

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
View File

@ -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"