suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix types for new racket/file keyword arguments.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-06-25 12:33:15 -04:00
parent 2230a6a1c6
commit 7f3ecd6e09
2 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -765,11 +765,11 @@
;Section 14.2.5 ;Section 14.2.5
;racket/file ;racket/file
[copy-directory/files (-> -Pathlike -Pathlike -Void)] [copy-directory/files (->key -Pathlike -Pathlike #:keep-modify-seconds? Univ #f -Void)]
[delete-directory/files (-> -Pathlike -Void)] [delete-directory/files (->key -Pathlike #:must-exist? Univ #f -Void)]
[find-files (->opt (-> -Path Univ) [(-opt -Pathlike)] (-lst -Path))] [find-files (->optkey (-> -Path Univ) [(-opt -Pathlike)] #:follow-links? Univ #f (-lst -Path))]
[pathlist-closure (-> (-lst -Pathlike) (-lst -Path))] [pathlist-closure (->key (-lst -Pathlike) #:follow-links? Univ #f (-lst -Path))]
[fold-files [fold-files
(-poly (-poly

9
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -1,6 +1,7 @@
#lang racket/base #lang racket/base
;; this file cheats to define types for unexported variables that are expanded into by Racket macros ;; this file cheats to define types for unexported variables
;; that are expanded into by Racket macros
(require (require
"../utils/utils.rkt" "../utils/utils.rkt"
racket/promise racket/promise
@ -12,7 +13,8 @@
(env init-envs) (env init-envs)
(except-in (rep filter-rep object-rep type-rep) make-arr) (except-in (rep filter-rep object-rep type-rep) make-arr)
(rename-in (types abbrev numeric-tower union) [make-arr* make-arr]) (rename-in (types abbrev numeric-tower union) [make-arr* make-arr])
(for-syntax racket/base syntax/parse (only-in racket/syntax syntax-local-eval))) (for-syntax racket/base syntax/parse
(only-in racket/syntax syntax-local-eval)))
(define (make-template-identifier what where) (define (make-template-identifier what where)
(let ([name (module-path-index-resolve (module-path-index-join where #f))]) (let ([name (module-path-index-resolve (module-path-index-join where #f))])
@ -146,7 +148,8 @@
(-> (-Syntax Univ) (Un))] (-> (-Syntax Univ) (Un))]
;; from the expansion of `make-temp-file` ;; from the expansion of `make-temp-file`
[(make-template-identifier 'make-temporary-file/proc 'racket/file) [(make-template-identifier 'make-temporary-file/proc 'racket/file)
(->opt [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)] -Path)] (->opt [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)]
-Path)]
;; from the (lifted) portion of the expansion of keyword lambdas ;; from the (lifted) portion of the expansion of keyword lambdas
[(make-template-identifier 'make-required 'racket/private/kw) [(make-template-identifier 'make-required 'racket/private/kw)
(-> Univ Univ Univ Univ Univ)] (-> Univ Univ Univ Univ Univ)]