From c9c2d2747b4881d352662ed4862c7040a7b957e8 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Tue, 1 Dec 2020 17:31:15 -0500 Subject: [PATCH] improve some error reporting by moving cuts --- racket/typed/roles.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt index f18ae25..e1e9f1a 100644 --- a/racket/typed/roles.rkt +++ b/racket/typed/roles.rkt @@ -131,15 +131,13 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define-typed-syntax start-facet - [(_ name:id #:implements spec:type ep ...+) ≫ - #:cut + [(_ name:id #:implements ~! spec:type ep ...+) ≫ [⊢ (start-facet name ep ...) ≫ e- (⇒ ν-f (~effs impl-ty))] #:fail-unless (simulating-types? #'impl-ty #'spec.norm) "facet does not implement specification" ------------------------------------------------------------ [≻ e-]] - [(_ name:id #:includes-behavior spec:type ep ...+) ≫ - #:cut + [(_ name:id #:includes-behavior ~! spec:type ep ...+) ≫ [⊢ (start-facet name ep ...) ≫ e- (⇒ ν-f (~effs impl-ty))] #:fail-unless (type-has-simulating-subgraphs? #'impl-ty #'spec.norm) "no subset implements specified behavior"