From 14ff17262134240ea109dbece36b0847a327e77c Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 1 May 2013 12:27:02 -0400 Subject: [PATCH] Remove inst on core:transition where no actions are present --- marketplace/sugar-typed.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/marketplace/sugar-typed.rkt b/marketplace/sugar-typed.rkt index 3fd8712..1ca3200 100644 --- a/marketplace/sugar-typed.rkt +++ b/marketplace/sugar-typed.rkt @@ -75,7 +75,7 @@ #`(lambda: ([state : State]) (match state [state-pattern e-attr])) #`(lambda: ([state : State]) ((inst core:transition State) state e-attr)))]) #`([event-pattern (lambda: ([state : State]) - ((inst core:transition State) state '()))]))) + (core:transition state '()))]))) (define role-pattern (cond [(attribute role) @@ -116,7 +116,7 @@ [state-pattern (match message [message-pattern clause-body] ... - [_ ((inst core:transition State) state '())])])) + [_ (core:transition state '())])])) #`(lambda: ([state : State]) ((inst core:transition State) state @@ -124,7 +124,7 @@ [message-pattern clause-body] ... [_ '()]))))] [_ - (lambda: ([state : State]) ((inst core:transition State) state '()))])))]))) + (lambda: ([state : State]) (core:transition state '()))])))]))) (define-syntax spawn: (lambda (stx)