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

Remove dependency on unstable/contract.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-09-07 21:38:22 -05:00
parent bdbd18b839
commit fd3941c062
7 changed files with 9 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typed-racket-lib/info.rkt
View File

@ -4,16 +4,10 @@
(define deps '(("base" #:version "6.2.900.6")
"pconvert-lib"
"unstable-contract-lib"
"source-syntax"
"compatibility-lib" ;; to assign types
"string-constants-lib"))
;; This is needed since the expansion of TR
;; can insert `(require unstable/contract)` into
;; the expanded code.
(define implies '("unstable-contract-lib"))
(define pkg-desc "implementation (no documentation) part of \"typed-racket\"")
(define pkg-authors '(samth stamourv))

3
typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -147,7 +147,8 @@
typed-racket/utils/opaque-object
typed-racket/utils/evt-contract
typed-racket/utils/sealing-contract
unstable/contract racket/contract/parametric))
racket/sequence
racket/contract/parametric))
;; Should the above requires be included in the output?
;; This box is only used for contracts generated for `require/typed`

5
typed-racket-lib/typed-racket/static-contracts/combinators/case-lambda.rkt
View File

@ -5,7 +5,6 @@
(require "../structures.rkt" "../constraints.rkt"
racket/list racket/match
unstable/contract
racket/contract
(for-template racket/base racket/contract/base)
(for-syntax racket/base syntax/parse))
@ -14,8 +13,8 @@
(contract-out
[case->/sc ((listof arr-combinator?) . -> . static-contract?)]
[arr/sc (-> (listof static-contract?)
(maybe/c static-contract?)
(maybe/c (listof static-contract?))
(or/c static-contract? #f)
(or/c (listof static-contract?) #f)
static-contract?)])
case->/sc:
arr/sc:

3
typed-racket-lib/typed-racket/static-contracts/combinators/control.rkt
View File

@ -5,14 +5,13 @@
(require "../structures.rkt" "../constraints.rkt"
racket/list racket/match
unstable/contract
racket/contract
(for-template racket/base racket/contract/base)
(for-syntax racket/base syntax/parse))
(provide
(contract-out
[prompt-tag/sc ((listof static-contract?) (maybe/c (listof static-contract?)) . -> . static-contract?)])
[prompt-tag/sc ((listof static-contract?) (or/c (listof static-contract?) #f) . -> . static-contract?)])
prompt-tag/sc:)
(struct prompt-tag-combinator combinator ()

4
typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt
View File

@ -8,12 +8,12 @@
racket/match
(for-syntax racket/base racket/syntax syntax/stx syntax/parse)
racket/set
unstable/contract
racket/sequence
(for-template racket/base
racket/contract/base
racket/set
racket/async-channel
unstable/contract
racket/sequence
racket/promise
"../../utils/evt-contract.rkt")
racket/contract

4
typed-racket-test/info.rkt
View File

@ -7,7 +7,6 @@
"typed-racket-lib"
"typed-racket-more"
"typed-racket-compatibility"
"unstable-lib"
"2d"
"rackunit-lib"
"racket-index"
@ -21,8 +20,7 @@
"compiler-lib"
"redex-lib"
"htdp-lib"
"sandbox-lib"
"unstable-lib"))
"sandbox-lib"))
(define update-implies '("typed-racket-lib"
"typed-racket-more"
"typed-racket-compatibility"))

2
typed-racket-test/unit-tests/contract-tests.rkt
View File

@ -63,7 +63,7 @@
(define (ctc-namespace)
(parameterize ([current-namespace (make-base-namespace)])
(namespace-require 'racket/contract)
(namespace-require 'unstable/contract)
(namespace-require 'racket/sequence)
(namespace-require 'typed-racket/utils/any-wrap)
(namespace-require 'typed-racket/utils/evt-contract)
(namespace-require 'typed-racket/utils/opaque-object)