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

Add Typed Racket support for racket/runtime-path

Browse Source 
original commit: 4a0f3f36ad8a4851fbb5ead572df45246487ef58
This commit is contained in:
Asumu Takikawa 2013-08-13 12:04:31 -04:00
parent 6a0fe073b1
commit 3e409c9138
2 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -159,4 +159,34 @@
(-> Univ Univ Univ Univ Univ)]
[(make-template-identifier 'missing-kw 'racket/private/kw)
(->* (list Univ) Univ Univ)]
;; from the expansion of `define-runtime-path`
[(make-template-identifier 'path-of 'racket/runtime-path)
(-> -Path -Path)]
[(make-template-identifier 'resolve-paths 'racket/runtime-path)
;; finite approximation of the type
;; (-> ... 2 args ... (List Pathlike ..._n) -> (List Path ..._n))
(cl->* (-> -Variable-Reference (Un (-> -Path) (-> -Void))
(-pair -Pathlike (-val null))
(-pair -Path (-val null)))
;; this case is for `define-runtime-module-path-index`
(-> -Variable-Reference (Un (-> -Path) (-> -Void))
(-pair (-pair (-val 'module)
(-pair -Module-Path
(-pair -Variable-Reference (-val null))))
(-val null))
(-pair -Module-Path-Index (-val null)))
(-> -Variable-Reference (Un (-> -Path) (-> -Void))
(-pair -Pathlike (-pair -Pathlike (-val null)))
(-pair -Path (-pair -Path (-val null))))
(-> -Variable-Reference (Un (-> -Path) (-> -Void))
(-pair -Pathlike (-pair -Pathlike (-val null)))
(-pair -Path (-pair -Path (-val null))))
(-> -Variable-Reference (Un (-> -Path) (-> -Void))
(-pair -Pathlike (-pair -Pathlike (-pair -Pathlike (-val null))))
(-pair -Path (-pair -Path (-pair -Path (-val null))))))]
[(make-template-identifier 'extract-module-file 'racket/private/this-expression-source-directory)
(-> (-Syntax Univ) -Path)]
;; for `define-runtime-module-path`
[(make-template-identifier 'combine-module-path 'racket/runtime-path)
(-> -Variable-Reference -Module-Path -Resolved-Module-Path)]
)

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/runtime-path.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/racket
(require racket/runtime-path)
(define-runtime-path foo "bar")
(define-runtime-paths (bar baz) (values "bar" "baz"))
(define-runtime-module-path-index x "quux")
(define-runtime-module-path z "with-type.rkt")