From 4dc551632fe09e77032e7e22e0c3106c58579a55 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 30 Apr 2013 16:26:31 -0400 Subject: [PATCH] Lenient matching of conversation patterns etc. --- marketplace/sugar-typed.rkt | 4 +++- marketplace/sugar-untyped.rkt | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/marketplace/sugar-typed.rkt b/marketplace/sugar-typed.rkt index baaef3b..3fd8712 100644 --- a/marketplace/sugar-typed.rkt +++ b/marketplace/sugar-typed.rkt @@ -122,7 +122,9 @@ state (match message [message-pattern clause-body] ... - [_ '()]))))])))]))) + [_ '()]))))] + [_ + (lambda: ([state : State]) ((inst core:transition State) state '()))])))]))) (define-syntax spawn: (lambda (stx) diff --git a/marketplace/sugar-untyped.rkt b/marketplace/sugar-untyped.rkt index b162bbc..0b85418 100644 --- a/marketplace/sugar-untyped.rkt +++ b/marketplace/sugar-untyped.rkt @@ -108,7 +108,9 @@ (core:transition state (match message [message-pattern clause-body] ... - [_ '()]))))])))]))) + [_ '()]))))] + [_ + (lambda (state) (core:transition state '()))])))]))) (define-syntax spawn (lambda (stx)