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

Fix wildcard matcing in trie-lookup to properly prepend wilds for open-parens.

This commit is contained in:
Tony Garnock-Jones 2016-05-17 01:11:00 -04:00
parent 07ef4f108e
commit e3ff45b08e
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
racket/syndicate/trie.rkt
View File

@ -560,8 +560,9 @@
[(cons (== ?) vs1)
(when (not wildcard-union) (error 'trie-lookup "Cannot match wildcard as a value"))
(let* ((seed (walk vs1 w))
(seed (for/fold [(seed seed)] [(k (in-list (treap-values os)))]
(wildcard-union seed (walk vs1 k))))
(seed (for/fold [(seed seed)] [(entry (in-list (treap-to-alist os)))]
(match-define (cons (open-parenthesis arity _) k) entry)
(wildcard-union seed (walk (append (make-list arity ?) vs1) k))))
(seed (for/fold [(seed seed)] [(k (in-list (treap-values h)))]
(wildcard-union seed (walk vs1 k)))))
seed)]