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

Rework this somewhat so you get appropriate error messages with or without

Browse Source 
#:type.

svn: r11763
This commit is contained in:
Stevie Strickland 2008-09-15 21:47:24 +00:00
parent deccda53ea
commit e76da360e5
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/scheme/private/contract.ss
View File

@ -263,28 +263,28 @@ improve method arity mismatch contract violation error messages?
(raise-syntax-error 'with-contract
"expected identifier for blame"
#'blame)]
[(_ blame (arg ...) body0 body ...)
(syntax/loc stx
(with-contract #:type region blame (arg ...) body0 body ...))]
[(_ blame (arg ...))
[(_ #:type type blame (arg ...))
(identifier? #'blame)
(raise-syntax-error 'with-contract
"empty body"
stx)]
[(_ blame bad-args etc ...)
[(_ #:type type blame bad-args etc ...)
(identifier? #'blame)
(raise-syntax-error 'with-contract
"expected list of identifier and/or (identifier contract)"
#'bad-args)]
[(_ args etc ...)
[(_ #:type type args etc ...)
(not (identifier? #'args))
(raise-syntax-error 'with-contract
"expected identifier for blame"
#'args)]
[(_ blame)
[(_ #:type type blame)
(raise-syntax-error 'with-contract
"only blame"
stx)]))
stx)]
[(_ etc ...)
(syntax/loc stx
(with-contract #:type region etc ...))]))
;
;