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

Improve error messages for bad uses of :type etc.

Browse Source 
original commit: 1a682c389a2751f37c1fcc5f7ef23a3a1167f7e9
This commit is contained in:
Sam Tobin-Hochstadt 2013-09-12 17:12:20 -04:00
parent 0fdb87985c
commit f35c297a1d
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -319,15 +319,15 @@ This file defines two sorts of primitives. All of them are provided into any mod
(lambda ()
(tc-error/stx #'ty "Type ~a could not be converted to a contract" typ))))))])]))
(define-syntax (:type stx)
(error ":type is only valid at the top-level of an interaction"))
(define-syntax (:print-type stx)
(error ":print-type is only valid at the top-level of an interaction"))
(define-syntax (:query-type/args stx)
(error ":query-type/args is only valid at the top-level of an interaction"))
(define-syntax (:query-type/result stx)
(error ":query-type/result is only valid at the top-level of an interaction"))
(define-for-syntax (fail stx)
(syntax-parse stx
[_:id
(raise-syntax-error #f "must be applied to arguments" stx)]
[_ (raise-syntax-error #f "only valid at the top-level of an interaction" stx)]))
(define-syntax :type fail)
(define-syntax :print-type fail)
(define-syntax :query-type/args fail)
(define-syntax :query-type/result fail)
(define-syntax (require/opaque-type stx)
(define-syntax-class name-exists-kw