audit requires of files that require misc.rkt in racket/contract
This commit is contained in:
parent
7708b2056a
commit
badf2bd19e
|
@ -7,7 +7,6 @@
|
||||||
[module-identifier-mapping-get free-identifier-mapping-get]
|
[module-identifier-mapping-get free-identifier-mapping-get]
|
||||||
[module-identifier-mapping-put! free-identifier-mapping-put!]
|
[module-identifier-mapping-put! free-identifier-mapping-put!]
|
||||||
[module-identifier-mapping-for-each free-identifier-mapping-for-each])
|
[module-identifier-mapping-for-each free-identifier-mapping-for-each])
|
||||||
"application-arity-checking.rkt"
|
|
||||||
"arr-util.rkt"
|
"arr-util.rkt"
|
||||||
(for-template racket/base
|
(for-template racket/base
|
||||||
"misc.rkt"))
|
"misc.rkt"))
|
||||||
|
|
|
@ -8,8 +8,6 @@
|
||||||
"misc.rkt"
|
"misc.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"generate.rkt"
|
|
||||||
racket/stxparam
|
|
||||||
(prefix-in arrow: "arrow.rkt"))
|
(prefix-in arrow: "arrow.rkt"))
|
||||||
|
|
||||||
(provide (for-syntax build-chaperone-constructor/real)
|
(provide (for-syntax build-chaperone-constructor/real)
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
"application-arity-checking.rkt"
|
"application-arity-checking.rkt"
|
||||||
"arr-util.rkt")
|
"arr-util.rkt")
|
||||||
"kwd-info-struct.rkt"
|
"kwd-info-struct.rkt"
|
||||||
"arity-checking.rkt"
|
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"misc.rkt"
|
"misc.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
|
|
|
@ -4,7 +4,6 @@
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
"misc.rkt"
|
"misc.rkt"
|
||||||
"generate.rkt"
|
|
||||||
racket/stxparam
|
racket/stxparam
|
||||||
racket/private/performance-hint)
|
racket/private/performance-hint)
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
|
|
|
@ -13,10 +13,7 @@
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
"arrow.rkt"
|
"generate.rkt")
|
||||||
"misc.rkt"
|
|
||||||
"generate.rkt"
|
|
||||||
)
|
|
||||||
|
|
||||||
(begin-for-syntax
|
(begin-for-syntax
|
||||||
(define lifted-key (gensym 'contract:lifted))
|
(define lifted-key (gensym 'contract:lifted))
|
||||||
|
|
|
@ -3,8 +3,7 @@
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"guts.rkt"
|
"guts.rkt")
|
||||||
"misc.rkt")
|
|
||||||
|
|
||||||
(provide box-immutable/c
|
(provide box-immutable/c
|
||||||
(rename-out [wrap-box/c box/c]))
|
(rename-out [wrap-box/c box/c]))
|
||||||
|
|
|
@ -20,8 +20,7 @@ it around flattened out.
|
||||||
(require "guts.rkt"
|
(require "guts.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"opt.rkt"
|
"opt.rkt")
|
||||||
"misc.rkt")
|
|
||||||
(require (for-syntax racket/base)
|
(require (for-syntax racket/base)
|
||||||
(for-syntax "ds-helpers.rkt")
|
(for-syntax "ds-helpers.rkt")
|
||||||
(for-syntax "helpers.rkt")
|
(for-syntax "helpers.rkt")
|
||||||
|
|
|
@ -4,8 +4,7 @@
|
||||||
syntax/location
|
syntax/location
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt")
|
||||||
"misc.rkt")
|
|
||||||
|
|
||||||
(provide (rename-out [wrap-hash/c hash/c])
|
(provide (rename-out [wrap-hash/c hash/c])
|
||||||
hash/dc)
|
hash/dc)
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "prop.rkt"
|
(require "prop.rkt"
|
||||||
"misc.rkt"
|
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"base.rkt"
|
"base.rkt"
|
||||||
|
|
|
@ -4,7 +4,6 @@
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"arrow.rkt"
|
"arrow.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"misc.rkt"
|
|
||||||
"arrow.rkt"
|
"arrow.rkt"
|
||||||
"arrow-val-first.rkt"
|
"arrow-val-first.rkt"
|
||||||
"orc.rkt"
|
"orc.rkt"
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "prop.rkt"
|
(require "prop.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"misc.rkt"
|
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
(for-syntax "arr-util.rkt" racket/base))
|
(for-syntax "arr-util.rkt" racket/base))
|
||||||
(provide parametric->/c)
|
(provide parametric->/c)
|
||||||
|
|
|
@ -26,14 +26,10 @@
|
||||||
[make-module-identifier-mapping make-free-identifier-mapping]
|
[make-module-identifier-mapping make-free-identifier-mapping]
|
||||||
[module-identifier-mapping-get free-identifier-mapping-get]
|
[module-identifier-mapping-get free-identifier-mapping-get]
|
||||||
[module-identifier-mapping-put! free-identifier-mapping-put!]))
|
[module-identifier-mapping-put! free-identifier-mapping-put!]))
|
||||||
"arrow.rkt"
|
|
||||||
"arrow-val-first.rkt"
|
"arrow-val-first.rkt"
|
||||||
"base.rkt"
|
"base.rkt"
|
||||||
"guts.rkt"
|
"guts.rkt"
|
||||||
"misc.rkt"
|
|
||||||
"exists.rkt"
|
"exists.rkt"
|
||||||
"opt.rkt"
|
|
||||||
"prop.rkt"
|
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
syntax/location
|
syntax/location
|
||||||
syntax/srcloc)
|
syntax/srcloc)
|
||||||
|
|
|
@ -1,8 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "guts.rkt"
|
(require "guts.rkt"
|
||||||
"blame.rkt"
|
"blame.rkt"
|
||||||
"prop.rkt"
|
"prop.rkt")
|
||||||
"misc.rkt")
|
|
||||||
(provide (rename-out [struct-type-property/c* struct-type-property/c]))
|
(provide (rename-out [struct-type-property/c* struct-type-property/c]))
|
||||||
|
|
||||||
(define (get-stpc-late-neg-proj stpc)
|
(define (get-stpc-late-neg-proj stpc)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user