diff --git a/racket/src/schemify/infer-known.rkt b/racket/src/schemify/infer-known.rkt index 715d67d19b..0f86347468 100644 --- a/racket/src/schemify/infer-known.rkt +++ b/racket/src/schemify/infer-known.rkt @@ -94,7 +94,7 @@ (extract-lambda* body))] [`(letrec-values ([(,id) ,rhs]) ,body) (if (wrap-eq? id body) - (extract-lambda rhs) + (extract-lambda* rhs) (extract-lambda* body))] [`(let-values ,_ ,body) (extract-lambda* body)] [`(letrec-values ,_ ,body) (extract-lambda* body)]