Instantiate map explicitly since it now infers less.
This commit is contained in:
parent
68d0930e88
commit
d19c82d152
|
@ -323,7 +323,8 @@
|
|||
(transition: w : QHState (send-message (answered-question q ans)))]
|
||||
[(partial-answer base cnames)
|
||||
(transition: (expanding-cnames q base (length cnames)) : QHState
|
||||
(map (lambda: ([cname : DomainName])
|
||||
((inst map (ActionTree QHState) DomainName)
|
||||
(lambda: ([cname : DomainName])
|
||||
;; TODO: record chains of CNAMEs to avoid pathologically-long chains
|
||||
(define cname-q (cname-question cname q))
|
||||
(list (send-message cname-q)
|
||||
|
|
Loading…
Reference in New Issue