diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index 784620a..76c7e39 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -66,7 +66,7 @@ (error 'strip-annotations "Cannot strip-annotations from struct: ~v" v)] [(? list?) (map walk item)] [(? set?) (for/set [(i (in-set item))] (walk i))] - [(? dict?) (for/hash [((k v) (in-dict item))] (values (walk k) (walk v)))] + [(? dict?) (for/hash [((k v) (in-dict item))] (values (walk* k depth) (walk v)))] [(? annotated?) (error 'strip-annotations "Improper annotation structure: ~v" v)] [_ item])]