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

check errors earlier in judgment-form

Browse Source 
closes PR 13609
closes PR 13610
This commit is contained in:
Robby Findler 2013-03-16 21:27:45 -05:00
parent fd9fce47d9
commit 99ff0adbfd
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/redex/private/judgment-form.rkt
View File

@ -719,8 +719,10 @@
(define-syntax (judgment-holds stx) (define-syntax (judgment-holds stx)
(syntax-case stx () (syntax-case stx ()
[(_ args ...) [(_ (jf-id . args))
#'(#%expression (judgment-holds/derivation judgment-holds #f args ...))])) #'(#%expression (judgment-holds/derivation judgment-holds #f (jf-id . args)))]
[(_ (jf-id . args) trm)
#'(#%expression (judgment-holds/derivation judgment-holds #f (jf-id . args) trm))]))
(define-syntax (build-derivations stx) (define-syntax (build-derivations stx)
(syntax-case stx () (syntax-case stx ()