From 509f1aa20c7ad5d809ac1ab0c445ba71add972d6 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 14 Aug 2015 01:02:54 -0400 Subject: [PATCH] Update type for copy-directory/files --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 5 ++++- typed-racket-test/unit-tests/typecheck-tests.rkt | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) 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))