From d93dc085feca5434c2f36b7db100de7f0e469a62 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Thu, 30 May 2019 13:37:34 -0400
Subject: [PATCH] remove stop-when abomination

---
 racket/typed/roles.rkt | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt
index 1815b26..5a508c0 100644
--- a/racket/typed/roles.rkt
+++ b/racket/typed/roles.rkt
@@ -22,7 +22,6 @@
          define/query-value
          define/query-set
          define/query-hash
-         stop-when
          ;; endpoints
          assert on field
          ;; expressions
@@ -432,17 +431,6 @@
                 (set! x (hash-remove (ref x) e-key))
                 remove.expr))])
 
-(define-typed-syntax (stop-when E script ...) ≫
-  [[forged-name ≫ _ : FacetName] ⊢ forged-name ≫ forged-name-]
-  #:with forged-name (attach #'(#%app- syndicate:current-facet-id)
-                             ':
-                             (type-eval #'FacetName))
-  ----------------------------------------
-  [≻ (on E
-         (let ([x forged-name])
-           (stop x
-                 script ...)))])
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Expressions
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;