move away from mzlib/contract and towards racket/contract

This commit is contained in:
Robby Findler 2011-03-28 17:37:52 -05:00
parent 6a4688b505
commit 9245f4b19a
4 changed files with 28 additions and 25 deletions

View File

@ -1,8 +1,8 @@
(module boundmap mzscheme
(require mzlib/contract
"private/boundmap.rkt")
(require racket/contract
"private/boundmap.rkt")
(define-syntax provide/contract*
(syntax-rules ()
[(_ [(name0 name ...) contract])
@ -26,11 +26,10 @@
(provide/contract*
[make-identifier-mapping (-> identifier-mapping?)]
[identifier-mapping?/out (any/c . -> . boolean?)]
[identifier-mapping-get (opt->*
(identifier-mapping?
identifier?)
((-> any))
any)]
[identifier-mapping-get (->* (identifier-mapping?
identifier?)
((-> any))
any)]
[identifier-mapping-put! (identifier-mapping?
identifier?
any/c

View File

@ -1,24 +1,29 @@
(module modcode scheme/base
(require mzlib/port
mzlib/contract
racket/contract
"modread.ss")
(provide moddep-current-open-input-file
exn:get-module-code
exn:get-module-code?
exn:get-module-code-path
make-exn:get-module-code
get-module-code)
#;
;; Contracts don't yet play well with keyword arguments:
make-exn:get-module-code)
(provide/contract
[get-module-code ([path-string?]
[(and/c path-string? relative-path?)
(any/c . -> . any)
(or/c false/c (path? boolean? . -> . any))
any/c]
. opt-> .
any)])
[get-module-code (->* ((or/c path? module-path?))
(#:sub-path
(and/c path-string? relative-path?)
(and/c path-string? relative-path?)
#:compile (-> any/c any)
(-> any/c any)
#:extension-handler (or/c false/c (path? boolean? . -> . any))
(or/c false/c (path? boolean? . -> . any))
#:choose
(path? path? path? . -> . (or/c (symbols 'src 'zo 'so) false/c))
#:notify (any/c . -> . any)
#:source-reader (any/c input-port? . -> . syntax?)
#:rkt-try-ss? boolean?)
any)])
(define moddep-current-open-input-file
(make-parameter open-input-file))

View File

@ -4,7 +4,7 @@
mzlib/string
mzlib/kw
mzlib/class
mzlib/contract
racket/contract
mzlib/list
scheme/gui/dynamic
syntax/modread
@ -707,8 +707,8 @@
(values null null)))
(provide/contract [is-wxme-stream? (input-port? . -> . any)]
[wxme-port->text-port ((input-port?) (any/c) . opt-> . input-port?)]
[wxme-port->port ((input-port?) (any/c (any/c . -> . any)) . opt-> . input-port?)]
[wxme-port->text-port (->* (input-port?) (any/c) input-port?)]
[wxme-port->port (->* (input-port?) (any/c (any/c . -> . any)) input-port?)]
[register-lib-mapping! (string? string? . -> . void?)]
[string->lib-path (string? any/c . -> . any)]
[extract-used-classes (input-port? . -> . any)])

View File

@ -5,7 +5,6 @@
"text-snipclass.rkt"
mzlib/unit
mzlib/class
mzlib/contract
string-constants
mrlib/include-bitmap)
@ -35,4 +34,4 @@
(drscheme:get/extend:extend-unit-frame text-box-mixin)
(drscheme:language:register-capability 'drscheme:special:insert-text-box (flat-contract boolean?) #t))))
(drscheme:language:register-capability 'drscheme:special:insert-text-box boolean? #t))))