fix output type for actors without interests
This commit is contained in:
parent
309d6867d9
commit
68f14919d7
|
@ -675,6 +675,9 @@
|
||||||
[(~Message τ)
|
[(~Message τ)
|
||||||
(define t (replace-bind-and-discard-with-★ #'τ))
|
(define t (replace-bind-and-discard-with-★ #'τ))
|
||||||
(type-eval #`(Observe #,t))]
|
(type-eval #`(Observe #,t))]
|
||||||
|
[τ
|
||||||
|
#:when (bot? #'τ)
|
||||||
|
#'τ]
|
||||||
[τ
|
[τ
|
||||||
(define t (replace-bind-and-discard-with-★ #'τ))
|
(define t (replace-bind-and-discard-with-★ #'τ))
|
||||||
(type-eval #`(Observe #,t))]))
|
(type-eval #`(Observe #,t))]))
|
||||||
|
|
Loading…
Reference in New Issue