Refine define-runtime-path type
original commit: b299f9c18abc4e26ae65e41c9a2d54d76244eb19
This commit is contained in:
parent
3e409c9138
commit
9f922ed7e5
|
@ -166,7 +166,9 @@
|
|||
;; finite approximation of the type
|
||||
;; (-> ... 2 args ... (List Pathlike ..._n) -> (List Path ..._n))
|
||||
(cl->* (-> -Variable-Reference (Un (-> -Path) (-> -Void))
|
||||
(-pair -Pathlike (-val null))
|
||||
(-pair (Un -Pathlike
|
||||
(-pair (-val 'lib) (-pair -Pathlike (-lst -Pathlike))))
|
||||
(-val null))
|
||||
(-pair -Path (-val null)))
|
||||
;; this case is for `define-runtime-module-path-index`
|
||||
(-> -Variable-Reference (Un (-> -Path) (-> -Void))
|
||||
|
|
|
@ -3,6 +3,7 @@
|
|||
(require racket/runtime-path)
|
||||
|
||||
(define-runtime-path foo "bar")
|
||||
(define-runtime-path foo2 '(lib "racket"))
|
||||
(define-runtime-paths (bar baz) (values "bar" "baz"))
|
||||
(define-runtime-module-path-index x "quux")
|
||||
(define-runtime-module-path z "with-type.rkt")
|
||||
|
|
Loading…
Reference in New Issue
Block a user