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

better error message when pre: or post: is used incorrectly

Browse Source
This commit is contained in:
Jon Rafkind 2011-04-18 17:00:42 -06:00
parent 0f5dfd6871
commit 3f572809c9
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/ffi/unsafe.rkt
View File

@ -344,7 +344,7 @@
(let loop ([t orig])
(define (next rest . args) (apply setkey! args) (loop rest))
(syntax-case* t
(type: expr: bind: 1st-arg: prev-arg: pre: post: keywords:)
(type: expr: bind: 1st-arg: prev-arg: pre: post: keywords: =>)
id=?
[(type: t x ...) (next #'(x ...) 'type #'t)]
[(expr: e x ...) (next #'(x ...) 'expr #'e)]
@ -352,7 +352,11 @@
[(1st-arg: id x ...) (next #'(x ...) '1st (cert-id #'id) #t)]
[(prev-arg: id x ...) (next #'(x ...) 'prev (cert-id #'id) #t)]
;; in the following two cases pass along orig for recertifying
;; first explicitly check if the `(id => expr)' form left off
;; the parentheses
[(pre: p => expr x ...) (err "bad form for `pre:'. Expected either `pre: (id => expression)' or `pre: expression'" #'(pre: p => expr))]
[(pre: p x ...) (next #'(x ...) 'pre (with-arg #'p))]
[(post: p => expr x ...) (err "bad form for `post:' Expected either `post: (id => expression)' or `post: expression'" #'(post: p => expr))]
[(post: p x ...) (next #'(x ...) 'post (with-arg #'p))]
[(keywords: x ...)
(let kloop ([ks '()] [xs #'(x ...)])