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

Friendlier error when one accidentally asserts wildcard

This commit is contained in:
Tony Garnock-Jones 2016-05-17 02:08:23 -04:00
parent 791d2880ae
commit 5c288036aa
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
racket/syndicate/actor.rkt
View File

@ -574,14 +574,16 @@
(lambda (s)
(match #,evt-stx
[(? #,(if asserted? #'patch/added? #'patch/removed?) p)
(define entry-set
(trie-project/set #:take proj-arity
#,(if asserted? #'(patch-added p) #'(patch-removed p))
proj))
(when (not entry-set)
(error #,(if asserted? #''asserted #''retracted)
"Wildcard interest discovered while projecting by ~v" proj))
(sequence-transitions0*
s
(for/list [(entry (in-set (trie-project/set
#:take proj-arity
#,(if asserted?
#'(patch-added p)
#'(patch-removed p))
proj)))]
(for/list [(entry (in-set entry-set))]
(lambda (s)
(define instantiated (instantiate-projection proj entry))
(and (#,(if asserted?