#lang info

(define collection 'multi)

(define deps '("srfi-lite-lib"
               "base"
               "pconvert-lib"
               "unstable-contract-lib"
               "unstable-list-lib"
               "source-syntax"
               "compatibility-lib" ;; to assign types
               "string-constants-lib"))


(define pkg-desc "implementation (no documentation) part of \"typed-racket\"")

(define pkg-authors '(samth stamourv))

(define version "1.1")
#lang info

(define collection 'multi)

(define deps '("srfi-lite-lib"
               "base"
               "pconvert-lib"
               "unstable-contract-lib"
               "unstable-list-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))

(define version "1.1")

Add implies from typed-racket-lib to unstable-contract-lib.
Add implies from typed-racket-lib to unstable-contract-lib.

Typed Racket, as of 8ea8c54eb, can add explicit require lines
to the expanded module, which can confuse the dependency
analyzer. An explicit implies declaration avoids the problem,
although I'm not sure that this is the right solution.
