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

Abolish "typed-scheme".

Browse Source 
original commit: 49a89da81860e09955f1678bab6106ce8eae8376
This commit is contained in:
Eli Barzilay 2011-09-04 08:45:54 -04:00
parent f579e30f1a
commit b6ffe9a91a
3 changed files with 58 additions and 58 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/macro-debugger/analysis/check-requires.rkt
View File

@ -26,7 +26,7 @@ Usage:
Examples:
(check-requires 'typed-scheme)
(check-requires 'typed-racket)
(check-requires 'unstable/markparam)
(check-requires 'macro-debugger/syntax-browser/widget)

112
collects/tests/macro-debugger/tests/collects.rkt
View File

@ -140,8 +140,8 @@
#:cache-keys? #t))))
(define modules-from-framework (trace-modules '(framework)))
(define modules-from-typed-scheme
#;(trace-modules '(typed-scheme))
(define modules-from-typed-racket
#;(trace-modules '(typed-racket))
'(#|
mzlib/contract
mzlib/etc
@ -267,59 +267,59 @@
syntax/stx
mzlib/trace
|#
typed-scheme
typed-scheme/minimal
typed-scheme/private/base-env
typed-scheme/private/base-types
typed-scheme/private/check-subforms-unit
typed-scheme/private/def-binding
typed-scheme/private/effect-rep
typed-scheme/private/extra-procs
typed-scheme/private/free-variance
typed-scheme/private/infer
typed-scheme/private/infer-ops
typed-scheme/private/init-envs
typed-scheme/private/internal-forms
typed-scheme/private/interning
typed-scheme/private/lexical-env
typed-scheme/private/mutated-vars
typed-scheme/private/parse-type
typed-scheme/private/planet-requires
typed-scheme/private/prims
typed-scheme/private/provide-handling
typed-scheme/private/remove-intersect
typed-scheme/private/rep-utils
typed-scheme/private/require-contract
typed-scheme/private/resolve-type
typed-scheme/private/signatures
typed-scheme/private/subtype
typed-scheme/private/syntax-traversal
typed-scheme/private/tables
typed-scheme/private/tc-app-unit
typed-scheme/private/tc-expr-unit
typed-scheme/private/tc-if-unit
typed-scheme/private/tc-lambda-unit
typed-scheme/private/tc-let-unit
typed-scheme/private/tc-structs
typed-scheme/private/tc-toplevel
typed-scheme/private/tc-utils
typed-scheme/private/type-alias-env
typed-scheme/private/type-annotation
typed-scheme/private/type-comparison
typed-scheme/private/type-contract
typed-scheme/private/type-effect-convenience
typed-scheme/private/type-effect-printer
typed-scheme/private/type-env
typed-scheme/private/type-environments
typed-scheme/private/type-name-env
typed-scheme/private/type-rep
typed-scheme/private/type-utils
typed-scheme/private/typechecker
typed-scheme/private/unify
typed-scheme/private/union
typed-scheme/private/unit-utils
typed-scheme/private/utils
typed-scheme/typed-scheme))
typed-racket
typed-racket/minimal
typed-racket/private/base-env
typed-racket/private/base-types
typed-racket/private/check-subforms-unit
typed-racket/private/def-binding
typed-racket/private/effect-rep
typed-racket/private/extra-procs
typed-racket/private/free-variance
typed-racket/private/infer
typed-racket/private/infer-ops
typed-racket/private/init-envs
typed-racket/private/internal-forms
typed-racket/private/interning
typed-racket/private/lexical-env
typed-racket/private/mutated-vars
typed-racket/private/parse-type
typed-racket/private/planet-requires
typed-racket/private/prims
typed-racket/private/provide-handling
typed-racket/private/remove-intersect
typed-racket/private/rep-utils
typed-racket/private/require-contract
typed-racket/private/resolve-type
typed-racket/private/signatures
typed-racket/private/subtype
typed-racket/private/syntax-traversal
typed-racket/private/tables
typed-racket/private/tc-app-unit
typed-racket/private/tc-expr-unit
typed-racket/private/tc-if-unit
typed-racket/private/tc-lambda-unit
typed-racket/private/tc-let-unit
typed-racket/private/tc-structs
typed-racket/private/tc-toplevel
typed-racket/private/tc-utils
typed-racket/private/type-alias-env
typed-racket/private/type-annotation
typed-racket/private/type-comparison
typed-racket/private/type-contract
typed-racket/private/type-effect-convenience
typed-racket/private/type-effect-printer
typed-racket/private/type-env
typed-racket/private/type-environments
typed-racket/private/type-name-env
typed-racket/private/type-rep
typed-racket/private/type-utils
typed-racket/private/typechecker
typed-racket/private/unify
typed-racket/private/union
typed-racket/private/unit-utils
typed-racket/private/utils
typed-racket/typed-racket))
(define big-libs-tests
(test-libs "Collections" modules-from-typed-scheme))
(test-libs "Collections" modules-from-typed-racket))

2
collects/tests/macro-debugger/tests/regression.rkt
View File

@ -144,7 +144,7 @@
(local [(define x 1)] x))))])
(check-pred list? rs)))
;; Distilled from Sam/typed-scheme (8/24/2007)
;; Distilled from Sam/typed-racket (8/24/2007)
(test-case "transformer calls 'expand'"
(check-pred deriv?
(trace '(let-syntax ([m (lambda (stx)