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

Use patch-project/set in demand-matcher.rkt

This commit is contained in:
Tony Garnock-Jones 2015-03-06 13:29:19 +00:00
parent 9901685580
commit 9782abba70
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
prospect/demand-matcher.rkt
View File

@ -49,19 +49,15 @@
;; to increased unsatisfied demand and decreased demanded supply.
(define (demand-matcher-update d s p)
(match-define (demand-matcher demand-spec supply-spec inc-h dec-h demand supply) d)
(define added-demand (matcher-project/set (patch-added p) demand-spec))
(define removed-demand (matcher-project/set (patch-removed p) demand-spec))
(define added-supply (matcher-project/set (patch-added p) supply-spec))
(define removed-supply (matcher-project/set (patch-removed p) supply-spec))
(define-values (added-demand removed-demand) (patch-project/set p demand-spec))
(define-values (added-supply removed-supply) (patch-project/set p supply-spec))
(when (not added-demand)
(error 'demand-matcher "Wildcard demand of ~v:\n~a"
demand-spec
(matcher->pretty-string (patch-added p))))
(when (not added-supply)
(error 'demand-matcher "Wildcard supply of ~v:\n~a"
supply-spec
(matcher->pretty-string (patch-added p))))
(when (not added-demand) (error 'demand-matcher "Wildcard demand of ~v:\n~a"
demand-spec
(matcher->pretty-string (patch-added p))))
(when (not added-supply) (error 'demand-matcher "Wildcard supply of ~v:\n~a"
supply-spec
(matcher->pretty-string (patch-added p))))
(set! supply (set-union supply added-supply))
(set! demand (set-subtract demand removed-demand))