syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

typed: bug fix

This commit is contained in:
Sam Caldwell 2022-04-04 10:16:10 -04:00
parent 29b1171aa8
commit d2e753d303
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
racket/typed/syndicate/roles.rkt
View File

@ -459,9 +459,10 @@
#:with τ-ds-i (strip-inbound #'τ-c.norm)
#:with τ-ds-o (strip-outbound #'τ-c.norm)
#:with τ-relay (relay-interests #'τ-c.norm)
#:with τ-ds-act (mk-Actor- (list (mk-U*- #'(τ-ds-i τ-ds-o τ-relay))))
-----------------------------------------------------------------------------------
[⊢ (syndicate:dataspace s- ...) (⇒ : ★/t)
(⇒ ν-s ((Actor (U τ-ds-i τ-ds-o τ-relay))))])
(⇒ ν-s (τ-ds-act))])
;; (Listof Type) Type -> String
(define-for-syntax (make-dataspace-error-message errs tc)