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

small cleanup

This commit is contained in:
Sam Caldwell 2019-06-17 13:18:43 -04:00
parent c40b773282
commit fa8822e40d
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
racket/typed/proto.rkt
View File

@ -122,14 +122,11 @@
[states (hash)]) [states (hash)])
(match work-list (match work-list
[(cons current more) [(cons current more)
(define all-txns
(for/list ([nm (in-set current)])
(hash-ref roles# nm)))
(define agg-txn (define agg-txn
(for/fold ([agg (hash)]) (for/fold ([agg (hash)])
([txns (in-list all-txns)]) ([nm (in-set current)])
(hash-union agg txns (define txns (hash-ref roles# nm))
#:combine combine-effect-sets))) (hash-union agg txns #:combine combine-effect-sets)))
(define transitions (define transitions
(for/hash ([(D effs) (in-hash agg-txn)] (for/hash ([(D effs) (in-hash agg-txn)]
#:when (external-evt? D)) #:when (external-evt? D))