From 68f14919d7194326806200bcbbde51156cb7be20 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Wed, 15 May 2019 16:05:47 -0400 Subject: [PATCH] fix output type for actors without interests --- racket/typed/core-types.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt index a1bd4df..1c87644 100644 --- a/racket/typed/core-types.rkt +++ b/racket/typed/core-types.rkt @@ -675,6 +675,9 @@ [(~Message τ) (define t (replace-bind-and-discard-with-★ #'τ)) (type-eval #`(Observe #,t))] + [τ + #:when (bot? #'τ) + #'τ] [τ (define t (replace-bind-and-discard-with-★ #'τ)) (type-eval #`(Observe #,t))]))