improve function application error messages
This commit is contained in:
parent
b6c934b9f3
commit
86258acc6c
|
@ -1386,6 +1386,8 @@
|
||||||
(~Endpoints τ-ep ...)
|
(~Endpoints τ-ep ...)
|
||||||
(~Roles τ-f ...)
|
(~Roles τ-f ...)
|
||||||
(~Spawns τ-s ...))))]
|
(~Spawns τ-s ...))))]
|
||||||
|
;; TODO - don't know why this cut is needed for error messages
|
||||||
|
#:cut
|
||||||
#:fail-unless (pure? #'e_fn-) "expression not allowed to have effects"
|
#:fail-unless (pure? #'e_fn-) "expression not allowed to have effects"
|
||||||
#:fail-unless (stx-length=? #'[τ_in ...] #'[e_arg ...])
|
#:fail-unless (stx-length=? #'[τ_in ...] #'[e_arg ...])
|
||||||
(num-args-fail-msg #'e_fn #'[τ_in ...] #'[e_arg ...])
|
(num-args-fail-msg #'e_fn #'[τ_in ...] #'[e_arg ...])
|
||||||
|
|
Loading…
Reference in New Issue