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

fix typo

This commit is contained in:
Sam Caldwell 2018-05-07 17:29:03 -04:00
parent a0a41e9cd5
commit 9913d1b1e7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/typed/core.rkt
View File

@ -445,9 +445,9 @@
(define-typed-syntax (actor τ-c:type beh st0 as0) ≫
#:fail-unless (flat-type? #'τ-c.norm) "Communication type must be first-order"
[⊢ beh ≫ beh- ⇒ (~→ (Tuple (~Patch τ-i1:type τ-i2:type) τ-s:type)
(~U/no-order (~Transition τ-s2:type τ-ta:type τ-ts:type)
(~Quit τ-qa:type τ-qs:type)))]
[⊢ beh ≫ beh- ⇒ (~→ (~Tuple (~Patch τ-i1:type τ-i2:type) τ-s:type)
(~U/no-order (~Transition τ-s2:type τ-ta:type τ-ts:type)
(~Quit τ-qa:type τ-qs:type)))]
[⊢ st0 ≫ st0- ⇒ τ-st0:type]
[⊢ as0 ≫ as0- ⇒ (~AssertionSet τ-as0:type)]
#:with τ-out:type (type-eval #'(U τ-ta τ-qa τ-as0))