syntax error check fix
closes PR 13639
This commit is contained in:
parent
99453ac506
commit
06315bf0fa
|
@ -509,7 +509,9 @@
|
||||||
#,(to-lw/uq/proc tl-pat)))
|
#,(to-lw/uq/proc tl-pat)))
|
||||||
(syntax->list #'(tl-id ...))
|
(syntax->list #'(tl-id ...))
|
||||||
(syntax->list #'(tl-pat ...))))
|
(syntax->list #'(tl-pat ...))))
|
||||||
(list fvars ...))))]))
|
(list fvars ...))))]
|
||||||
|
;; just skip over junk here, since syntax error checks elsewhere will catch this
|
||||||
|
[_ #f]))
|
||||||
|
|
||||||
(define (reduction-relation/helper stx orig-name orig-red-expr lang-id rules shortcuts
|
(define (reduction-relation/helper stx orig-name orig-red-expr lang-id rules shortcuts
|
||||||
lws
|
lws
|
||||||
|
|
Loading…
Reference in New Issue
Block a user