Correct type error

This commit is contained in:
Tony Garnock-Jones 2014-05-13 23:12:57 -04:00
parent 536a7d8e3d
commit ebc798c0aa
1 changed files with 2 additions and 2 deletions

View File

@ -491,7 +491,7 @@
(error 'matcher->finite-set "Internal error: unexpected key-close")]
[else
(k key mk)]))))]
[_ (k (set) #f)]))
[_ (set)]))
;; Matcher (Value Matcher -> (Setof (Listof Value))) -> (Option (Setof (Listof Value)))
;; Calls k with each possible sequence of atomic values at this
@ -510,7 +510,7 @@
(k (for/set [(vs (in-set vss))]
(cons v vs))
vsk)))))]))))]
[_ (k (set) #f)]))
[_ (k (set) #f)])) ;; TODO: ??
;; (Listof Value) Sigma -> Value
(define (transform-seqs vs opener)