From 9726376c82c892f47941811fde3b71e451013d5a Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 25 Apr 2018 19:40:53 +0100 Subject: [PATCH] Remove redundant `facet-live?` test --- syndicate/dataspace.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index fbdcdfe..551925f 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -375,9 +375,8 @@ (with-current-facet [ds actor f #f] (boot-proc)) (push-script! ds actor (lambda () - (when (and (facet-live? f) - (or (and parent (not (facet-live? parent))) - (facet-inert? ds f))) + (when (or (and parent (not (facet-live? parent))) + (facet-inert? ds f)) (terminate-facet! ds f))))) (define (facet-inert? ds f)