Slightly cleaner step check

This commit is contained in:
Tony Garnock-Jones 2013-10-28 11:12:25 +00:00
parent 6e9da1a686
commit f8f31e7355
1 changed files with 1 additions and 1 deletions

View File

@ -131,7 +131,7 @@
(for/fold ([w w] [step-taken? #f]) (((pid p) (in-hash (world-process-table w))))
(define t (deliver-event #f pid p))
(values (apply-transition pid t w)
(or step-taken? (and t #t))))))
(or step-taken? (transition? t))))))
(and step-taken? (transition w '()))))
(define (transition-bind k t0)