Use `in-hash' explicitly.
original commit: d459ad47b897fed0c106f78f357744c2558f7819
This commit is contained in:
parent
172d85f97d
commit
01a6586f73
|
@ -142,7 +142,7 @@
|
|||
;; subst-all : substitution Type -> Type
|
||||
(d/c (subst-all s t)
|
||||
(substitution/c Type? . -> . Type?)
|
||||
(for/fold ([t t]) ([(v r) s])
|
||||
(for/fold ([t t]) ([(v r) (in-hash s)])
|
||||
(match r
|
||||
[(t-subst img)
|
||||
(substitute img v t)]
|
||||
|
|
Loading…
Reference in New Issue
Block a user