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

Cosmetic

This commit is contained in:
Tony Garnock-Jones 2018-04-27 10:54:58 +01:00
parent a247d8fd2b
commit 0d5b7e9c02
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
syndicate/dataspace.rkt
View File

@ -232,7 +232,7 @@
(make-queue)
(set->bag filtered-initial-assertions)))
(for [(a filtered-initial-assertions)]
(match (bag-change! (dataspace-assertions ds) a 1)
(match (bag-change! (dataspace-assertions ds) a +1)
['absent->present (add-assertion! (dataspace-routing-table ds) a)]
;; 'absent->absent and 'present->absent absurd
['present->present (void)])) ;; i.e. no visible change