Remove unused dependencies.
This commit is contained in:
Eric Dobson
parent
281c9f5d82
commit
f8f989e8c6
|
|
@ -5,7 +5,7 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
(env init-envs)
|
||||
(types abbrev union)
|
||||
(types abbrev)
|
||||
(utils any-wrap)
|
||||
(only-in (rep type-rep)
|
||||
make-Prompt-Tagof))
|
||||
|
|
|
|||
|
|
@ -9,9 +9,7 @@
|
|||
racket/private/kw racket/file racket/port syntax/parse racket/path
|
||||
(for-template (only-in racket/private/kw kw-expander-proc kw-expander-impl)
|
||||
racket/base racket/file racket/port racket/path racket/list)
|
||||
(utils tc-utils)
|
||||
(env init-envs)
|
||||
(except-in (rep filter-rep object-rep type-rep) make-arr)
|
||||
(rename-in (types abbrev numeric-tower union) [make-arr* make-arr])
|
||||
(for-syntax racket/base syntax/parse
|
||||
(only-in racket/syntax syntax-local-eval)))
|
||||
|
|
|
|||
|
|
@ -2,9 +2,7 @@
|
|||
|
||||
(require
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(env init-envs)
|
||||
(rep filter-rep object-rep type-rep)
|
||||
(rep type-rep)
|
||||
(types abbrev numeric-tower union)
|
||||
(typecheck tc-structs)
|
||||
;;For tests
|
||||
|
|
|
|||
|
|
@ -5,8 +5,7 @@
|
|||
(require (for-syntax racket/base syntax/parse)
|
||||
(utils tc-utils)
|
||||
(env init-envs)
|
||||
(types abbrev numeric-tower union filter-ops)
|
||||
(rep object-rep filter-rep type-rep))
|
||||
(types abbrev numeric-tower union filter-ops))
|
||||
|
||||
(define-syntax (-#%module-begin stx)
|
||||
(define-syntax-class clause
|
||||
|
|
|
|||
|
|
@ -7,12 +7,10 @@
|
|||
(except-in syntax/parse id)
|
||||
racket/match racket/syntax racket/list syntax/stx
|
||||
racket/format
|
||||
racket/promise
|
||||
(only-in racket/string string-join)
|
||||
(types utils abbrev generalize printer)
|
||||
(typecheck provide-handling tc-toplevel tc-app-helper)
|
||||
(rep type-rep)
|
||||
(env env-req)
|
||||
(for-template (only-in (base-env prims) :type :print-type :query-type/result))
|
||||
(utils utils tc-utils arm)
|
||||
"tc-setup.rkt")
|
||||
|
|
|
|||
|
|
@ -1,5 +1,4 @@
|
|||
#lang racket/base
|
||||
(require syntax/modcollapse)
|
||||
(define to-require null)
|
||||
(define (add-mod! m)
|
||||
(set! to-require (cons m to-require)))
|
||||
|
|
|
|||
|
|
@ -14,7 +14,6 @@
|
|||
(env type-env-structs global-env mvar-env)
|
||||
(utils tc-utils)
|
||||
(only-in (rep type-rep) Type/c)
|
||||
(typecheck tc-metafunctions)
|
||||
(except-in (types utils abbrev kw-types) -> ->* one-of/c))
|
||||
|
||||
(provide lexical-env with-lexical-env with-lexical-env/extend
|
||||
|
|
|
|||
|
|
@ -4,12 +4,9 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
(for-template racket/base)
|
||||
(rep type-rep)
|
||||
syntax/parse
|
||||
syntax/id-table
|
||||
racket/contract
|
||||
racket/match
|
||||
racket/list
|
||||
racket/dict)
|
||||
|
||||
(provide register-scoped-tvars lookup-scoped-tvars
|
||||
|
|
|
|||
|
|
@ -1,9 +1,9 @@
|
|||
#lang racket/base
|
||||
|
||||
(require unstable/sequence racket/dict syntax/id-table racket/match unstable/struct
|
||||
(require racket/dict racket/match
|
||||
(prefix-in r: "../utils/utils.rkt")
|
||||
(r:contract-req)
|
||||
(r:rep filter-rep rep-utils type-rep)
|
||||
(r:rep filter-rep)
|
||||
(except-in (r:utils tc-utils) make-env))
|
||||
|
||||
(provide extend
|
||||
|
|
|
|||
|
|
@ -5,7 +5,6 @@
|
|||
(require "../utils/utils.rkt")
|
||||
|
||||
(require syntax/id-table
|
||||
racket/dict
|
||||
(env type-alias-env)
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
|
|
|
|||
|
|
@ -1,8 +1,7 @@
|
|||
#lang racket/unit
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(types abbrev utils union subtype)
|
||||
(rep type-rep)
|
||||
(types abbrev union subtype)
|
||||
(utils tc-utils)
|
||||
unstable/sequence unstable/hash
|
||||
"signatures.rkt" "constraint-structs.rkt"
|
||||
|
|
|
|||
|
|
@ -14,7 +14,7 @@
|
|||
(rep free-variance type-rep filter-rep object-rep rep-utils)
|
||||
(types utils abbrev numeric-tower union subtype resolve
|
||||
substitute generalize)
|
||||
(env type-name-env index-env tvar-env))
|
||||
(env index-env tvar-env))
|
||||
make-env -> ->* one-of/c)
|
||||
"constraint-structs.rkt"
|
||||
"signatures.rkt"
|
||||
|
|
|
|||
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (except-in "../utils/utils.rkt" infer))
|
||||
(require "infer-unit.rkt" "constraints.rkt" "dmap.rkt" "signatures.rkt"
|
||||
"restrict.rkt" "promote-demote.rkt"
|
||||
(only-in racket/unit provide-signature-elements
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require "../utils/utils.rkt")
|
||||
(require (rep type-rep)
|
||||
(types utils union subtype remove-intersect resolve substitute)
|
||||
(types union subtype remove-intersect resolve)
|
||||
"signatures.rkt"
|
||||
racket/match)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx syntax/id-table racket/dict
|
||||
unstable/syntax racket/match racket/syntax
|
||||
racket/match racket/syntax
|
||||
"../utils/utils.rkt" racket/unsafe/ops unstable/sequence
|
||||
(for-template racket/base racket/math racket/flonum racket/unsafe/ops)
|
||||
(utils tc-utils)
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
(for-template racket/base racket/flonum racket/unsafe/ops racket/math)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(types numeric-tower type-table union)
|
||||
(types numeric-tower union)
|
||||
(optimizer utils numeric-utils logging fixnum))
|
||||
|
||||
(provide float-opt-expr float-arg-expr int-expr)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/set racket/string racket/match racket/list
|
||||
(require racket/string
|
||||
unstable/syntax unstable/logging
|
||||
data/queue
|
||||
"../utils/tc-utils.rkt")
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
(for-template racket/base)
|
||||
"../utils/utils.rkt"
|
||||
(private syntax-properties)
|
||||
(optimizer utils logging
|
||||
(optimizer utils
|
||||
number fixnum float float-complex vector string list pair
|
||||
sequence box struct dead-code apply unboxed-let
|
||||
hidden-costs))
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx unstable/syntax
|
||||
(require syntax/parse syntax/stx
|
||||
(for-template racket/base racket/unsafe/ops)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
|
|
|
|||
|
|
@ -3,7 +3,6 @@
|
|||
(require syntax/parse syntax/stx unstable/syntax unstable/sequence
|
||||
racket/list racket/dict racket/match racket/syntax
|
||||
"../utils/utils.rkt"
|
||||
"../utils/tc-utils.rkt"
|
||||
(for-template racket/base)
|
||||
(types numeric-tower utils type-table)
|
||||
(rep type-rep) (env mvar-env)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/match unstable/sequence unstable/syntax
|
||||
(require racket/match unstable/sequence
|
||||
racket/dict syntax/id-table racket/syntax syntax/stx
|
||||
"../utils/utils.rkt"
|
||||
(for-template racket/base)
|
||||
|
|
|
|||
|
|
@ -8,9 +8,8 @@
|
|||
[make-arr* make-arr])
|
||||
(utils tc-utils stxclass-util)
|
||||
syntax/stx (prefix-in c: (contract-req))
|
||||
syntax/parse racket/dict unstable/sequence
|
||||
(env type-env-structs tvar-env type-name-env type-alias-env
|
||||
lexical-env index-env)
|
||||
syntax/parse unstable/sequence
|
||||
(env tvar-env type-name-env type-alias-env lexical-env index-env)
|
||||
racket/match
|
||||
"parse-classes.rkt"
|
||||
(for-template racket/base "../base-env/colon.rkt")
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(env global-env mvar-env scoped-tvar-env)
|
||||
(except-in (types subtype union resolve utils generalize))
|
||||
(except-in (types subtype union utils generalize))
|
||||
(private parse-type syntax-properties)
|
||||
(contract-req)
|
||||
racket/match)
|
||||
|
|
|
|||
|
|
@ -8,13 +8,12 @@
|
|||
"../utils/utils.rkt"
|
||||
syntax/parse
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(typecheck internal-forms)
|
||||
(utils tc-utils require-contract)
|
||||
(utils tc-utils)
|
||||
(env type-name-env)
|
||||
(types resolve utils)
|
||||
(types resolve)
|
||||
(prefix-in t: (types abbrev numeric-tower))
|
||||
(private parse-type syntax-properties)
|
||||
racket/match syntax/struct syntax/stx racket/syntax racket/list
|
||||
racket/match syntax/stx racket/syntax racket/list
|
||||
unstable/sequence
|
||||
(contract-req)
|
||||
(for-template racket/base racket/contract racket/set (utils any-wrap)
|
||||
|
|
|
|||
|
|
@ -1,7 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/require racket/promise
|
||||
(require racket/require racket/promise
|
||||
(for-template
|
||||
(except-in racket/base for for* with-handlers lambda λ define
|
||||
default-continuation-prompt-tag)
|
||||
|
|
|
|||
|
|
@ -2,9 +2,7 @@
|
|||
(require "../utils/utils.rkt"
|
||||
racket/match
|
||||
racket/set
|
||||
(for-syntax racket/base)
|
||||
racket/lazy-require
|
||||
(contract-req))
|
||||
racket/lazy-require)
|
||||
|
||||
;; Ugly hack - should use units
|
||||
(lazy-require
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
racket/match
|
||||
(contract-req)
|
||||
"free-variance.rkt"
|
||||
"interning.rkt" unstable/struct
|
||||
"interning.rkt"
|
||||
racket/lazy-require
|
||||
racket/stxparam
|
||||
(for-syntax
|
||||
|
|
|
|||
|
|
@ -3,12 +3,8 @@
|
|||
(require "utils/utils.rkt"
|
||||
(except-in syntax/parse id) syntax/stx
|
||||
racket/pretty racket/promise racket/lazy-require
|
||||
(private type-contract)
|
||||
(types utils)
|
||||
(typecheck typechecker provide-handling tc-toplevel)
|
||||
(env tvar-env type-name-env type-alias-env env-req mvar-env)
|
||||
(env type-name-env type-alias-env mvar-env)
|
||||
(utils tc-utils disarm mutated-vars)
|
||||
(rep type-rep)
|
||||
(for-syntax racket/base)
|
||||
(for-template racket/base))
|
||||
(lazy-require [typed-racket/optimizer/optimizer (optimize-top)])
|
||||
|
|
|
|||
|
|
@ -5,8 +5,8 @@
|
|||
syntax/parse
|
||||
racket/match
|
||||
"signatures.rkt" "tc-metafunctions.rkt"
|
||||
"tc-funapp.rkt" "tc-subst.rkt"
|
||||
(types utils abbrev union subtype resolve)
|
||||
"tc-funapp.rkt"
|
||||
(types utils abbrev union resolve)
|
||||
(private syntax-properties)
|
||||
(utils tc-utils)
|
||||
(rep type-rep))
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require racket/require (for-template "renamer.rkt") "renamer.rkt"
|
||||
(for-syntax syntax/parse racket/base "renamer.rkt"
|
||||
(path-up "utils/tc-utils.rkt" "env/type-name-env.rkt")))
|
||||
(path-up "utils/tc-utils.rkt")))
|
||||
(provide def-export)
|
||||
|
||||
(define-syntax (def-export stx)
|
||||
|
|
|
|||
|
|
@ -3,13 +3,10 @@
|
|||
(require "../utils/utils.rkt"
|
||||
unstable/list unstable/sequence syntax/id-table racket/dict racket/syntax
|
||||
racket/struct-info racket/match syntax/parse syntax/location
|
||||
(only-in srfi/1/list s:member)
|
||||
(only-in (private type-contract) type->contract)
|
||||
(env type-name-env type-alias-env)
|
||||
(typecheck renamer def-binding)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(for-syntax syntax/parse racket/base)
|
||||
(for-syntax racket/base)
|
||||
(for-template racket/base "def-export.rkt" racket/contract))
|
||||
|
||||
(provide remove-provides provide? generate-prov get-alternate)
|
||||
|
|
|
|||
|
|
@ -1,8 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
|
||||
"tc-app/tc-app-apply.rkt"
|
||||
(require "tc-app/tc-app-apply.rkt"
|
||||
"tc-app/tc-app-eq.rkt"
|
||||
"tc-app/tc-app-hetero.rkt"
|
||||
"tc-app/tc-app-keywords.rkt"
|
||||
|
|
@ -12,7 +10,6 @@
|
|||
"tc-app/tc-app-special.rkt"
|
||||
"tc-app/tc-app-values.rkt"
|
||||
"tc-app/tc-app-main.rkt"
|
||||
"tc-app/signatures.rkt"
|
||||
"signatures.rkt")
|
||||
|
||||
(require racket/unit)
|
||||
|
|
|
|||
|
|
@ -1,13 +1,13 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/match unstable/list unstable/sequence racket/set syntax/parse
|
||||
racket/match unstable/list unstable/sequence racket/set
|
||||
syntax/stx
|
||||
(only-in srfi/1 unzip4) (only-in racket/list make-list)
|
||||
(contract-req)
|
||||
(typecheck check-below tc-subst)
|
||||
(utils tc-utils)
|
||||
(rep type-rep object-rep)
|
||||
(rep type-rep)
|
||||
(except-in (types utils union abbrev subtype)
|
||||
-> ->* one-of/c))
|
||||
|
||||
|
|
|
|||
|
|
@ -4,8 +4,7 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse racket/match
|
||||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-funapp)
|
||||
(typecheck signatures)
|
||||
(types abbrev utils)
|
||||
(rep type-rep)
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,6 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match
|
||||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev union utils)
|
||||
(rep type-rep)
|
||||
|
|
|
|||
|
|
@ -1,9 +1,7 @@
|
|||
#lang racket/unit
|
||||
|
||||
(require "../../utils/utils.rkt"
|
||||
(prefix-in c: (contract-req))
|
||||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
syntax/parse/experimental/reflect
|
||||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
;; fixme - don't need to be bound in this phase - only to make tests work
|
||||
|
|
@ -11,7 +9,6 @@
|
|||
;; end fixme
|
||||
(types utils abbrev numeric-tower union resolve type-table generalize)
|
||||
(typecheck signatures check-below)
|
||||
(utils tc-utils)
|
||||
(rep type-rep rep-utils)
|
||||
(for-template racket/unsafe/ops racket/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -5,7 +5,6 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match racket/set
|
||||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-app-helper tc-funapp tc-metafunctions)
|
||||
(types abbrev utils union substitute subtype)
|
||||
(rep type-rep)
|
||||
|
|
|
|||
|
|
@ -4,12 +4,10 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse racket/match racket/list
|
||||
syntax/parse/experimental/reflect
|
||||
unstable/sequence unstable/syntax
|
||||
(typecheck signatures tc-funapp find-annotation)
|
||||
(typecheck signatures find-annotation)
|
||||
(types abbrev utils generalize type-table)
|
||||
(private type-annotation)
|
||||
(rep type-rep)
|
||||
|
||||
(for-template racket/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -5,8 +5,6 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
syntax/parse/experimental/reflect
|
||||
(only-in '#%kernel [reverse k:reverse])
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev utils union substitute)
|
||||
(rep type-rep)
|
||||
|
|
|
|||
|
|
@ -6,10 +6,9 @@
|
|||
syntax/parse racket/match
|
||||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-funapp)
|
||||
(types utils abbrev)
|
||||
(types utils)
|
||||
(private syntax-properties)
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(for-template racket/base))
|
||||
(rep type-rep filter-rep object-rep))
|
||||
|
||||
(import tc-expr^ tc-app-keywords^
|
||||
tc-app-hetero^ tc-app-list^ tc-app-apply^ tc-app-values^
|
||||
|
|
|
|||
|
|
@ -4,9 +4,9 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
syntax/parse/experimental/reflect racket/dict
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev resolve union utils)
|
||||
racket/dict
|
||||
(typecheck signatures)
|
||||
(types resolve union utils)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,6 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse racket/match
|
||||
syntax/parse/experimental/reflect
|
||||
unstable/list syntax/stx
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev utils)
|
||||
|
|
|
|||
|
|
@ -4,10 +4,8 @@
|
|||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse racket/match unstable/sequence unstable/syntax
|
||||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev utils)
|
||||
(rep type-rep)
|
||||
(types utils)
|
||||
|
||||
(for-template racket/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -6,11 +6,8 @@
|
|||
(types utils union subtype abbrev substitute)
|
||||
(utils tc-utils)
|
||||
(env tvar-env index-env)
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(r:infer infer)
|
||||
(for-template
|
||||
(only-in '#%kernel [apply k:apply])
|
||||
racket/base))
|
||||
(rep type-rep filter-rep)
|
||||
(r:infer infer))
|
||||
|
||||
(import tc-expr^ tc-lambda^ tc-let^ tc-app^)
|
||||
(export tc-apply^)
|
||||
|
|
|
|||
|
|
@ -3,17 +3,16 @@
|
|||
|
||||
(require (rename-in "../utils/utils.rkt" [private private-in])
|
||||
racket/match (prefix-in - (contract-req))
|
||||
"signatures.rkt" "tc-envops.rkt" "tc-metafunctions.rkt" "tc-subst.rkt"
|
||||
"check-below.rkt" "tc-funapp.rkt" "tc-app-helper.rkt" "../types/kw-types.rkt"
|
||||
(types utils abbrev numeric-tower union subtype
|
||||
type-table filter-ops generalize)
|
||||
"signatures.rkt"
|
||||
"check-below.rkt" "tc-app-helper.rkt" "../types/kw-types.rkt"
|
||||
(types utils abbrev union subtype type-table)
|
||||
(private-in parse-type type-annotation syntax-properties)
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(utils tc-utils stxclass-util)
|
||||
(env lexical-env type-env-structs tvar-env index-env)
|
||||
(utils tc-utils)
|
||||
(env lexical-env tvar-env index-env)
|
||||
racket/private/class-internal
|
||||
syntax/parse syntax/stx
|
||||
unstable/function unstable/syntax
|
||||
unstable/syntax
|
||||
(only-in srfi/1 split-at)
|
||||
(for-template "internal-forms.rkt" (only-in '#%paramz [parameterization-key pz:pk])))
|
||||
|
||||
|
|
|
|||
|
|
@ -6,7 +6,6 @@
|
|||
(for-syntax syntax/parse racket/base)
|
||||
(types utils union subtype resolve abbrev substitute)
|
||||
(typecheck tc-metafunctions tc-app-helper)
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
(r:infer infer))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,14 +1,12 @@
|
|||
#lang racket/unit
|
||||
(require (rename-in "../utils/utils.rkt" [infer r:infer])
|
||||
(require "../utils/utils.rkt"
|
||||
"signatures.rkt"
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(types abbrev subtype union utils filter-ops)
|
||||
(types abbrev union utils filter-ops)
|
||||
(env lexical-env type-env-structs)
|
||||
(r:infer infer)
|
||||
(utils tc-utils)
|
||||
"tc-envops.rkt" "tc-metafunctions.rkt"
|
||||
"tc-envops.rkt"
|
||||
(types type-table)
|
||||
syntax/kerncase
|
||||
racket/match)
|
||||
|
||||
;; if typechecking
|
||||
|
|
|
|||
|
|
@ -9,10 +9,10 @@
|
|||
[make-arr* make-arr])
|
||||
(private type-annotation syntax-properties)
|
||||
(types type-table)
|
||||
(typecheck signatures tc-metafunctions tc-subst check-below)
|
||||
(env type-env-structs lexical-env tvar-env index-env scoped-tvar-env)
|
||||
(typecheck signatures tc-metafunctions tc-subst)
|
||||
(env lexical-env tvar-env index-env scoped-tvar-env)
|
||||
(utils tc-utils)
|
||||
(for-template racket/base "internal-forms.rkt"))
|
||||
(for-template racket/base))
|
||||
|
||||
(import tc-expr^)
|
||||
(export tc-lambda^)
|
||||
|
|
|
|||
|
|
@ -6,9 +6,9 @@
|
|||
(only-in (types abbrev) (-> t:->))
|
||||
(private type-annotation parse-type syntax-properties)
|
||||
(env lexical-env type-alias-env global-env type-env-structs scoped-tvar-env)
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(rep type-rep filter-rep)
|
||||
syntax/free-vars
|
||||
(typecheck signatures tc-metafunctions tc-subst check-below)
|
||||
(typecheck signatures tc-metafunctions tc-subst)
|
||||
racket/match (contract-req)
|
||||
syntax/kerncase syntax/parse syntax/stx
|
||||
(for-template racket/base (typecheck internal-forms)))
|
||||
|
|
|
|||
|
|
@ -3,10 +3,10 @@
|
|||
(require "../utils/utils.rkt"
|
||||
racket/match
|
||||
(typecheck signatures check-below)
|
||||
(types abbrev numeric-tower utils resolve subtype union generalize)
|
||||
(types abbrev numeric-tower resolve subtype union generalize)
|
||||
(rep type-rep)
|
||||
(only-in (infer infer) restrict)
|
||||
(utils tc-utils stxclass-util)
|
||||
(utils stxclass-util)
|
||||
syntax/parse
|
||||
unstable/function)
|
||||
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/match racket/list
|
||||
(except-in (types subtype abbrev union utils filter-ops)
|
||||
(except-in (types abbrev union utils filter-ops)
|
||||
-> ->* one-of/c)
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(contract-req))
|
||||
|
|
|
|||
|
|
@ -7,8 +7,8 @@
|
|||
(prefix-in c: (contract-req))
|
||||
(rep type-rep object-rep free-variance)
|
||||
(private parse-type syntax-properties)
|
||||
(types abbrev utils union resolve substitute type-table)
|
||||
(env global-env type-env-structs type-name-env tvar-env)
|
||||
(types abbrev utils resolve substitute type-table)
|
||||
(env global-env type-name-env tvar-env)
|
||||
(utils tc-utils)
|
||||
(typecheck def-binding)
|
||||
(for-syntax syntax/parse racket/base)
|
||||
|
|
|
|||
|
|
@ -9,7 +9,7 @@
|
|||
(private parse-type type-annotation type-contract syntax-properties)
|
||||
(env global-env init-envs type-name-env type-alias-env
|
||||
lexical-env env-req mvar-env scoped-tvar-env)
|
||||
(utils tc-utils mutated-vars)
|
||||
(utils tc-utils)
|
||||
(typecheck provide-handling def-binding tc-structs typechecker)
|
||||
|
||||
;; to appease syntax-parse in the tests
|
||||
|
|
|
|||
|
|
@ -1,8 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/trace
|
||||
(only-in racket/unit
|
||||
(require (only-in racket/unit
|
||||
provide-signature-elements
|
||||
define-values/invoke-unit/infer link)
|
||||
"signatures.rkt"
|
||||
|
|
|
|||
|
|
@ -9,19 +9,16 @@
|
|||
(prefix-in c: (contract-req))
|
||||
(rename-in (rep type-rep object-rep rep-utils)
|
||||
[make-Base make-Base*])
|
||||
(utils tc-utils)
|
||||
(types union numeric-tower)
|
||||
;; Using this form so all-from-out works
|
||||
"base-abbrev.rkt" "match-expanders.rkt"
|
||||
|
||||
(for-syntax racket/base syntax/parse racket/list)
|
||||
|
||||
;; for base type contracts
|
||||
(for-template racket/base racket/contract/base racket/promise
|
||||
(for-template racket/base racket/contract/base
|
||||
racket/tcp racket/flonum racket/udp '#%place)
|
||||
;; for base type predicates
|
||||
racket/pretty racket/udp
|
||||
racket/promise racket/tcp racket/flonum
|
||||
racket/tcp racket/flonum
|
||||
'#%place) ;; avoid the other dependencies of `racket/place`
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -1,13 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
"abbrev.rkt" "subtype.rkt" "substitute.rkt" "union.rkt"
|
||||
"numeric-tower.rkt"
|
||||
racket/match
|
||||
(for-syntax syntax/parse racket/base)
|
||||
syntax/id-table racket/dict)
|
||||
racket/match)
|
||||
|
||||
(provide generalize)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "abbrev.rkt" "../rep/type-rep.rkt"
|
||||
"union.rkt" "../utils/tc-utils.rkt"
|
||||
"../utils/tc-utils.rkt"
|
||||
racket/list racket/set racket/dict racket/match)
|
||||
|
||||
;; convert : [Listof Keyword] [Listof Type] [Listof Type] [Option Type]
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
(types resolve)
|
||||
(contract-req)
|
||||
racket/set
|
||||
(for-syntax racket/base syntax/parse racket/list))
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
||||
(provide Listof: List: MListof:)
|
||||
(provide/cond-contract
|
||||
|
|
|
|||
|
|
@ -4,10 +4,8 @@
|
|||
(rename-in (types numeric-predicates base-abbrev)
|
||||
[simple-Un *Un])
|
||||
(rename-in (rep type-rep) [make-Base make-Base*])
|
||||
racket/match
|
||||
racket/function
|
||||
unstable/function
|
||||
(for-template racket/base racket/contract/base racket/flonum (types numeric-predicates)))
|
||||
(for-template racket/base racket/contract/base (types numeric-predicates)))
|
||||
|
||||
(provide portable-fixnum? portable-index?
|
||||
-Zero -One -PosByte -Byte -PosIndex -Index
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
(require "../utils/utils.rkt")
|
||||
|
||||
(require (rep type-rep rep-utils free-variance)
|
||||
(require (rep type-rep rep-utils)
|
||||
(env type-name-env)
|
||||
(utils tc-utils)
|
||||
(types utils current-seen)
|
||||
|
|
|
|||
|
|
@ -1,14 +1,14 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/match racket/set racket/function unstable/function
|
||||
racket/match racket/set
|
||||
racket/lazy-require
|
||||
(contract-req)
|
||||
(only-in (types base-abbrev) -lst* -result -no-filter -no-obj)
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(rep type-rep rep-utils)
|
||||
(utils tc-utils)
|
||||
(rep free-variance)
|
||||
(env index-env tvar-env))
|
||||
(env tvar-env))
|
||||
(lazy-require ("union.rkt" (Un)))
|
||||
|
||||
(provide subst-all substitute substitute-dots substitute-dotted subst
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
"base-abbrev.rkt"
|
||||
(prefix-in c: (contract-req))
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep free-variance type-rep filter-rep object-rep rep-utils)
|
||||
(rep type-rep filter-rep rep-utils)
|
||||
(utils tc-utils)
|
||||
(types base-abbrev)
|
||||
racket/match
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
;; TODO figure out why these imports are needed even though they don't seem to be.
|
||||
(require syntax/id-table racket/dict racket/match mzlib/pconvert
|
||||
"../utils/utils.rkt" racket/syntax
|
||||
"../utils/tc-utils.rkt"
|
||||
|
|
|
|||
|
|
@ -1,11 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(rep type-rep rep-utils)
|
||||
(utils tc-utils)
|
||||
"substitute.rkt" "tc-result.rkt" "tc-error.rkt"
|
||||
(rep free-variance)
|
||||
(env index-env tvar-env)
|
||||
racket/match
|
||||
racket/set
|
||||
racket/list
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/generic (for-syntax racket/base syntax/parse))
|
||||
(require (for-syntax racket/base syntax/parse))
|
||||
(provide define-struct/printer)
|
||||
|
||||
(define-syntax (define-struct/printer stx)
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@ don't depend on any other portion of the system
|
|||
|#
|
||||
|
||||
(provide (all-defined-out) (all-from-out "disappeared-use.rkt"))
|
||||
(require "syntax-traversal.rkt" racket/dict "disappeared-use.rkt" racket/promise
|
||||
(require "syntax-traversal.rkt" "disappeared-use.rkt" racket/promise
|
||||
syntax/parse (for-syntax racket/base syntax/parse) racket/match)
|
||||
|
||||
;; a parameter representing the original location of the syntax being
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user