diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 6c79cde9..8cf63b3c 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2583,7 +2583,10 @@ ;; Section 15.2.4 ;; Section 15.2.5 (racket/file) -[copy-directory/files (->key -Pathlike -Pathlike #:keep-modify-seconds? Univ #f -Void)] +[copy-directory/files (->key -Pathlike -Pathlike + #:keep-modify-seconds? Univ #f + #:preserve-links? Univ #f + -Void)] [delete-directory/files (->key -Pathlike #:must-exist? Univ #f -Void)] [find-files (->optkey (-> -Path Univ) [(-opt -Pathlike)] #:follow-links? Univ #f (-lst -Path))] diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 25d2cfe3..b445befd 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -1612,6 +1612,7 @@ (tc-e (copy-directory/files "tmp/src" "tmp/dest") -Void) + (tc-e (copy-directory/files "tmp/src" "tmp/dest" #:preserve-links? #t) -Void) (tc-e (delete-directory/files "tmp/src") -Void) (tc-e (find-files (lambda (p) #t)) (-lst -Path))