Handle keyword variants of file operations.

Author: samth

typed-racket-lib/typed-racket/base-env/base-env.rkt

@@ -2877,7 +2877,11 @@
 [file-or-directory-identity (->opt -Pathlike [Univ] -PosInt)]
 [file-size (-> -Pathlike -Nat)]
 
-[copy-file (-> -Pathlike -Pathlike -Void)]
+[copy-file (->optkey -Pathlike -Pathlike [(-lst -Symbol)]
+		     #:exists-ok? Univ #f
+		     #:permissions Univ #f
+		     #:replace-permissions Univ #f
+		     -Void)]
 [make-file-or-directory-link (-> -Pathlike -Pathlike -Void)]
 
 ;; Section 15.2.3
@@ -2922,7 +2926,6 @@
 
 [make-directory* (-> -Pathlike -Void)]
 [make-parent-directory* (-> -Pathlike -Void)]
-#;[make-temporary-file (->opt [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)] -Path)]
 
 [put-preferences (->opt (-lst -Symbol) (-lst Univ) [(-> -Path Univ) (-opt -Pathlike)] -Void)]
 [preferences-lock-file-mode (-> (one-of/c 'exists 'file-lock))]

typed-racket-lib/typed-racket/base-env/base-special-env.rkt

@@ -331,8 +331,13 @@
   ;; ... or a Guide is ...
   [(make-template-identifier 'check-same-length 'racket/private/template)
    (-> (Un (-val #f) (-Syntax Univ)) (Un (-val #f) (-Syntax Univ)) (-lst Univ) -Void)]
-  ;; from the expansion of `make-temp-file`
-  [(make-template-identifier 'make-temporary-file/proc 'racket/file)
+  ;; from the expansion of `make-temporary-file`
+  [(make-template-identifier 'make-temporary-file 'racket/file)
+   (->optkey [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)]
+	     #:copy-from (Un -Pathlike (-val 'directory) (-val #f)) #f
+	     #:base-dir (-opt -Pathlike) #f
+	     -Path)
+   #;
    (->opt [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)]
           -Path)]
   ;; from the (lifted) portion of the expansion of keyword lambdas