This commit is contained in:
Matthias Felleisen 2014-05-04 18:54:35 -04:00
parent 21e026910b
commit 9613d45566

View File

@ -390,7 +390,9 @@
(define-syntax (universe stx)
(syntax-case stx ()
[(universe) (raise-syntax-error #f "expects an expression for the initial world" stx)]
[(universe u) (raise-syntax-error #f "expects at least an on-new and an on-msg clause after the initial world" stx)]
[(universe u)
(raise-syntax-error #f "expects at least an on-new and an on-msg clause after the initial world"
stx)]
[(universe u bind ...)
(let* ([args (->args 'universe stx #'u #'(bind ...) UniSpec void)]
[dom (syntax->list #'(bind ...))])