Remove unused requires in TR
original commit: 381078510a26f7ce0b6dc91ad6e10a07f8b85755
This commit is contained in:
Asumu Takikawa
parent
29995ca01c
commit
a27553b1f6
|
|
@ -7,8 +7,8 @@
|
|||
(except-in syntax/parse id)
|
||||
racket/match racket/syntax
|
||||
syntax/flatten-begin
|
||||
(types utils abbrev generalize type-table)
|
||||
(typecheck provide-handling tc-toplevel tc-app-helper)
|
||||
(types utils abbrev generalize)
|
||||
(typecheck provide-handling tc-app-helper)
|
||||
(rep type-rep)
|
||||
(for-template (base-env top-interaction))
|
||||
(utils utils tc-utils arm)
|
||||
|
|
|
|||
|
|
@ -12,7 +12,7 @@
|
|||
(rep type-rep object-rep filter-rep rep-utils free-variance)
|
||||
(for-syntax syntax/parse racket/base)
|
||||
(types abbrev union)
|
||||
racket/syntax racket/dict racket/list
|
||||
racket/dict racket/list
|
||||
mzlib/pconvert racket/match)
|
||||
|
||||
(provide ;; convenience form for defining an initial environment
|
||||
|
|
|
|||
|
|
@ -7,8 +7,7 @@
|
|||
;; type variables, this additional environment is
|
||||
;; needed to keep track of the constraints.
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep))
|
||||
(require "../utils/utils.rkt")
|
||||
|
||||
(provide initial-row-constraint-env
|
||||
current-row-constraints
|
||||
|
|
|
|||
|
|
@ -9,9 +9,7 @@
|
|||
(private parse-type)
|
||||
(typecheck internal-forms)
|
||||
(types resolve base-abbrev)
|
||||
data/queue
|
||||
racket/dict
|
||||
racket/format
|
||||
racket/list
|
||||
racket/match
|
||||
syntax/id-table
|
||||
|
|
|
|||
|
|
@ -1,11 +1,11 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/dict racket/match
|
||||
(require racket/match
|
||||
syntax/id-table
|
||||
(except-in "../utils/utils.rkt" env)
|
||||
(contract-req)
|
||||
(rep filter-rep type-rep)
|
||||
(except-in (utils tc-utils) make-env))
|
||||
(contract-req))
|
||||
|
||||
(require-for-cond-contract (rep type-rep filter-rep))
|
||||
|
||||
;; types is a free-id-table of identifiers to types
|
||||
;; props is a list of known propositions
|
||||
|
|
|
|||
|
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt" (rep type-rep) (contract-req) racket/match (for-syntax racket/base syntax/parse))
|
||||
(require "../utils/utils.rkt" (contract-req))
|
||||
|
||||
(require-for-cond-contract (rep type-rep))
|
||||
|
||||
;; S, T types
|
||||
;; represents S <: X <: T (see "Local Type Inference" pg. 12)
|
||||
|
|
|
|||
|
|
@ -2,8 +2,7 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
(types abbrev union subtype)
|
||||
(utils tc-utils)
|
||||
unstable/sequence unstable/hash
|
||||
unstable/sequence
|
||||
"fail.rkt" "signatures.rkt" "constraint-structs.rkt"
|
||||
racket/match
|
||||
racket/list)
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
"signatures.rkt" "constraint-structs.rkt"
|
||||
(utils tc-utils)
|
||||
(contract-req)
|
||||
unstable/sequence unstable/hash racket/match)
|
||||
unstable/sequence)
|
||||
|
||||
(import constraints^)
|
||||
(export dmap^)
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep rep-utils)
|
||||
(types abbrev union utils structural)
|
||||
(types abbrev utils structural)
|
||||
(prefix-in c: (contract-req))
|
||||
racket/performance-hint
|
||||
racket/list racket/match)
|
||||
|
|
|
|||
|
|
@ -1,9 +1,11 @@
|
|||
#lang racket/base
|
||||
(require "../utils/utils.rkt"
|
||||
racket/unit (contract-req)
|
||||
(infer constraint-structs)
|
||||
(utils unit-utils)
|
||||
(rep type-rep))
|
||||
|
||||
(require-for-cond-contract (infer constraint-structs))
|
||||
|
||||
(provide (all-defined-out))
|
||||
|
||||
(define-signature dmap^
|
||||
|
|
|
|||
|
|
@ -2,7 +2,6 @@
|
|||
(require syntax/parse racket/syntax
|
||||
(for-template racket/unsafe/ops racket/base (prefix-in k- '#%kernel))
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(optimizer utils logging))
|
||||
|
||||
(provide apply-opt-expr)
|
||||
|
|
|
|||
|
|
@ -1,12 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx
|
||||
racket/match
|
||||
(require syntax/parse
|
||||
"../utils/utils.rkt"
|
||||
(for-template racket/base racket/unsafe/ops)
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
(types type-table utils)
|
||||
(optimizer utils logging))
|
||||
|
||||
(provide box-opt-expr)
|
||||
|
|
|
|||
|
|
@ -1,11 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse racket/promise syntax/stx unstable/sequence
|
||||
(require syntax/parse syntax/stx unstable/sequence
|
||||
racket/syntax
|
||||
(for-template racket/base)
|
||||
"../utils/utils.rkt"
|
||||
(types type-table)
|
||||
(utils tc-utils)
|
||||
(optimizer utils logging))
|
||||
|
||||
(provide dead-code-opt-expr)
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
syntax/parse/experimental/specialize
|
||||
(for-template racket/base racket/extflonum racket/unsafe/ops)
|
||||
"../utils/utils.rkt"
|
||||
(optimizer utils numeric-utils logging float fixnum))
|
||||
(optimizer utils logging float fixnum))
|
||||
|
||||
(provide extflonum-opt-expr)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,11 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse racket/dict
|
||||
(require syntax/parse
|
||||
syntax/parse/experimental/specialize
|
||||
"../utils/utils.rkt"
|
||||
(for-template racket/base racket/fixnum racket/unsafe/ops)
|
||||
(for-syntax racket/base syntax/parse racket/syntax)
|
||||
(utils tc-utils)
|
||||
(types numeric-tower union)
|
||||
(optimizer utils logging))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,10 +1,9 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx racket/dict racket/promise
|
||||
(require syntax/parse syntax/stx racket/promise
|
||||
racket/syntax racket/match syntax/parse/experimental/specialize
|
||||
"../utils/utils.rkt" racket/unsafe/ops unstable/sequence
|
||||
(for-template racket/base racket/math racket/flonum racket/unsafe/ops)
|
||||
(utils tc-utils)
|
||||
(types numeric-tower subtype type-table utils)
|
||||
(optimizer utils numeric-utils logging float unboxed-tables))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx unstable/sequence
|
||||
(require syntax/parse unstable/sequence
|
||||
(for-template racket/base)
|
||||
"../utils/utils.rkt"
|
||||
(optimizer utils logging)
|
||||
(types abbrev type-table struct-table))
|
||||
(types abbrev struct-table))
|
||||
|
||||
(provide hidden-cost-log-expr)
|
||||
|
||||
|
|
|
|||
|
|
@ -2,8 +2,6 @@
|
|||
|
||||
(require syntax/parse racket/match
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
(types abbrev utils type-table)
|
||||
(optimizer utils logging)
|
||||
(for-template racket/base racket/unsafe/ops))
|
||||
|
|
|
|||
|
|
@ -4,7 +4,6 @@
|
|||
syntax/parse/experimental/specialize
|
||||
(for-template racket/base)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(types numeric-tower union)
|
||||
(optimizer utils logging))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,11 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx
|
||||
(require syntax/parse
|
||||
racket/match
|
||||
(for-template racket/base racket/unsafe/ops racket/list)
|
||||
(for-syntax racket/base syntax/parse racket/syntax)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
(types type-table utils)
|
||||
(typecheck typechecker)
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
(for-template racket/base racket/unsafe/ops)
|
||||
"../utils/utils.rkt" "../utils/tc-utils.rkt"
|
||||
(rep type-rep)
|
||||
(types abbrev type-table utils)
|
||||
(types abbrev)
|
||||
(optimizer utils logging float))
|
||||
|
||||
(provide sequence-opt-expr)
|
||||
|
|
|
|||
|
|
@ -3,8 +3,6 @@
|
|||
(require syntax/parse
|
||||
(for-template racket/base racket/unsafe/ops)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(types abbrev)
|
||||
(optimizer utils logging))
|
||||
|
||||
(provide string-opt-expr)
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx
|
||||
(require syntax/parse
|
||||
(for-template racket/base racket/unsafe/ops)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(types type-table struct-table)
|
||||
(types struct-table)
|
||||
(optimizer utils logging))
|
||||
|
||||
(provide struct-opt-expr)
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx unstable/syntax unstable/sequence
|
||||
(require syntax/parse syntax/stx unstable/sequence
|
||||
syntax/parse/experimental/template
|
||||
racket/list racket/dict racket/match racket/syntax
|
||||
racket/match racket/syntax
|
||||
racket/promise
|
||||
"../utils/utils.rkt"
|
||||
(for-template racket/base)
|
||||
|
|
|
|||
|
|
@ -7,7 +7,6 @@
|
|||
racket/promise
|
||||
(for-syntax racket/base syntax/parse racket/syntax)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(only-in (utils literal-syntax-class)
|
||||
[define-literal-syntax-class define-literal-syntax-class*])
|
||||
(for-template racket/base)
|
||||
|
|
|
|||
|
|
@ -1,10 +1,9 @@
|
|||
#lang racket/base
|
||||
|
||||
(require syntax/parse syntax/stx
|
||||
(require syntax/parse
|
||||
racket/match racket/flonum racket/extflonum
|
||||
(for-template racket/base racket/flonum racket/extflonum racket/unsafe/ops)
|
||||
"../utils/utils.rkt"
|
||||
(utils tc-utils)
|
||||
(rep type-rep)
|
||||
(types type-table utils numeric-tower abbrev)
|
||||
(optimizer utils logging fixnum))
|
||||
|
|
|
|||
|
|
@ -5,19 +5,17 @@
|
|||
(require "../utils/utils.rkt"
|
||||
(except-in (rep type-rep object-rep) make-arr)
|
||||
(rename-in (types abbrev union utils filter-ops resolve
|
||||
classes subtype)
|
||||
classes)
|
||||
[make-arr* make-arr])
|
||||
(utils tc-utils stxclass-util literal-syntax-class)
|
||||
syntax/stx (prefix-in c: (contract-req))
|
||||
syntax/parse unstable/sequence
|
||||
(env tvar-env type-name-env type-alias-env mvar-env
|
||||
(env tvar-env type-alias-env mvar-env
|
||||
lexical-env index-env row-constraint-env)
|
||||
(only-in racket/list flatten)
|
||||
racket/dict
|
||||
racket/promise
|
||||
racket/format
|
||||
racket/match
|
||||
racket/syntax
|
||||
(only-in unstable/list check-duplicate)
|
||||
"parse-classes.rkt"
|
||||
(for-label
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
(require "../utils/utils.rkt"
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(env global-env mvar-env scoped-tvar-env)
|
||||
(env global-env mvar-env)
|
||||
(except-in (types subtype abbrev union utils generalize)
|
||||
-> ->* one-of/c)
|
||||
(private parse-type syntax-properties)
|
||||
|
|
|
|||
|
|
@ -7,22 +7,21 @@
|
|||
syntax/parse
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(utils tc-utils)
|
||||
(env type-name-env type-alias-env)
|
||||
(env type-name-env)
|
||||
(rep rep-utils)
|
||||
(types resolve union utils kw-types printer)
|
||||
(types resolve union utils printer)
|
||||
(prefix-in t: (types abbrev numeric-tower))
|
||||
(private parse-type syntax-properties)
|
||||
racket/match racket/syntax racket/list
|
||||
racket/format
|
||||
racket/dict
|
||||
unstable/list
|
||||
unstable/sequence
|
||||
(only-in (types abbrev) -Bottom)
|
||||
(static-contracts instantiate optimize structures combinators)
|
||||
;; TODO make this from contract-req
|
||||
(prefix-in c: racket/contract)
|
||||
(contract-req)
|
||||
(for-syntax racket/base syntax/parse racket/syntax)
|
||||
(for-syntax racket/base)
|
||||
(for-template racket/base racket/contract (utils any-wrap)))
|
||||
|
||||
(provide
|
||||
|
|
|
|||
|
|
@ -1,17 +1,14 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(base-env base-types-extra extra-procs)
|
||||
(base-env base-types-extra)
|
||||
(except-in (base-env prims) with-handlers λ lambda define)
|
||||
(env type-name-env type-alias-env type-env-structs
|
||||
global-env tvar-env)
|
||||
(env type-name-env type-alias-env global-env)
|
||||
(private parse-type type-contract syntax-properties)
|
||||
(typecheck tc-toplevel typechecker)
|
||||
(types utils)
|
||||
(utils lift tc-utils disarm arm literal-syntax-class)
|
||||
racket/match
|
||||
racket/promise
|
||||
racket/require
|
||||
racket/syntax
|
||||
syntax/flatten-begin
|
||||
syntax/parse
|
||||
|
|
@ -30,7 +27,7 @@
|
|||
for*/or for*/sum for*/product for*/first for*/last
|
||||
for*/fold)
|
||||
(base-env prims)
|
||||
(prefix-in c: (combine-in racket/contract/region racket/contract/base)))
|
||||
(prefix-in c: racket/contract/region))
|
||||
(for-label racket/base
|
||||
(base-env base-types-extra)))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,5 @@
|
|||
#lang racket/base
|
||||
(require "../utils/utils.rkt"
|
||||
racket/match
|
||||
(require racket/match
|
||||
racket/set
|
||||
racket/lazy-require)
|
||||
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
racket/match
|
||||
racket/contract
|
||||
(for-template racket/base racket/contract/base)
|
||||
(for-syntax racket/base racket/syntax syntax/parse))
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
||||
(provide
|
||||
(contract-out
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
;; Ex: (listof/sc any/sc) => list?/sc
|
||||
|
||||
(require "simple.rkt" "structural.rkt"
|
||||
(for-template racket/base racket/list racket/set racket/promise racket/mpair
|
||||
(for-template racket/base racket/list racket/set racket/promise
|
||||
racket/class racket/async-channel))
|
||||
(provide (all-defined-out))
|
||||
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
racket/list racket/match
|
||||
racket/contract
|
||||
(for-template racket/base racket/contract/base)
|
||||
(for-syntax racket/base racket/syntax syntax/parse))
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
||||
(provide
|
||||
(contract-out
|
||||
|
|
|
|||
|
|
@ -8,7 +8,6 @@
|
|||
"../structures.rkt"
|
||||
"../terminal.rkt"
|
||||
"simple.rkt"
|
||||
racket/match
|
||||
racket/contract
|
||||
(for-template racket/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
racket/match
|
||||
racket/contract
|
||||
(for-template racket/base racket/contract/base)
|
||||
(for-syntax racket/base racket/syntax syntax/parse))
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
||||
(provide
|
||||
(contract-out
|
||||
|
|
|
|||
|
|
@ -5,7 +5,6 @@
|
|||
|
||||
(require "../structures.rkt" "../constraints.rkt"
|
||||
racket/list racket/match
|
||||
unstable/contract
|
||||
racket/contract
|
||||
racket/syntax
|
||||
(for-template racket/base racket/class)
|
||||
|
|
|
|||
|
|
@ -6,8 +6,7 @@
|
|||
"../structures.rkt"
|
||||
"../constraints.rkt"
|
||||
"../terminal.rkt"
|
||||
racket/list racket/match
|
||||
unstable/contract
|
||||
racket/match
|
||||
racket/contract
|
||||
(for-template racket/base racket/contract/parametric)
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
|
|
|||
|
|
@ -6,10 +6,8 @@
|
|||
;; Ex: (flat/sc #'number?)
|
||||
|
||||
(require
|
||||
"../kinds.rkt"
|
||||
"../structures.rkt"
|
||||
"../constraints.rkt"
|
||||
racket/list
|
||||
racket/match
|
||||
racket/contract)
|
||||
|
||||
|
|
|
|||
|
|
@ -3,8 +3,7 @@
|
|||
;; Static contract for struct/c.
|
||||
|
||||
(require "../structures.rkt" "../constraints.rkt"
|
||||
racket/list racket/match
|
||||
unstable/contract
|
||||
racket/match
|
||||
racket/contract
|
||||
(for-template racket/base racket/contract/base "../../utils/struct-type-c.rkt")
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
|
|
|||
|
|
@ -5,10 +5,9 @@
|
|||
|
||||
(require "../structures.rkt"
|
||||
"../constraints.rkt"
|
||||
racket/list racket/match
|
||||
racket/match
|
||||
(for-syntax racket/base racket/syntax syntax/stx syntax/parse)
|
||||
racket/set
|
||||
racket/format
|
||||
unstable/contract
|
||||
(for-template racket/base
|
||||
racket/contract/base
|
||||
|
|
|
|||
|
|
@ -3,10 +3,8 @@
|
|||
;; Provides functionality to take a static contract and turn it into a regular contract.
|
||||
|
||||
(require
|
||||
racket/function
|
||||
racket/match
|
||||
racket/dict
|
||||
racket/sequence
|
||||
racket/contract
|
||||
racket/syntax
|
||||
(for-template racket/base racket/contract)
|
||||
|
|
|
|||
|
|
@ -1,9 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "utils/utils.rkt"
|
||||
(except-in syntax/parse id) syntax/stx
|
||||
syntax/stx
|
||||
racket/pretty racket/promise racket/lazy-require
|
||||
racket/syntax
|
||||
(env type-name-env type-alias-env mvar-env)
|
||||
(utils tc-utils disarm mutated-vars lift)
|
||||
"standard-inits.rkt"
|
||||
|
|
|
|||
|
|
@ -8,12 +8,10 @@
|
|||
racket/list
|
||||
racket/match
|
||||
racket/set
|
||||
racket/syntax
|
||||
syntax/id-table
|
||||
syntax/parse
|
||||
syntax/stx
|
||||
"signatures.rkt"
|
||||
(private parse-type syntax-properties type-annotation)
|
||||
(private parse-type syntax-properties)
|
||||
(env lexical-env tvar-env global-env)
|
||||
(types utils abbrev union subtype resolve generalize)
|
||||
(typecheck check-below internal-forms)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,8 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt" (contract-req) racket/struct-info)
|
||||
(require "../utils/utils.rkt" (contract-req))
|
||||
|
||||
(require-for-cond-contract racket/struct-info)
|
||||
|
||||
(define-struct binding (name) #:transparent)
|
||||
(define-struct (def-binding binding) (ty) #:transparent)
|
||||
|
|
|
|||
|
|
@ -2,11 +2,12 @@
|
|||
|
||||
(require "../utils/utils.rkt" syntax/parse
|
||||
(contract-req)
|
||||
(rep type-rep)
|
||||
(env lexical-env)
|
||||
(private type-annotation)
|
||||
(for-label racket/base))
|
||||
|
||||
(require-for-cond-contract (rep type-rep))
|
||||
|
||||
(provide/cond-contract [find-annotation (syntax? identifier? . -> . (or/c #f Type/c))])
|
||||
|
||||
(define-syntax-class lv-clause
|
||||
|
|
|
|||
|
|
@ -5,12 +5,10 @@
|
|||
racket/struct-info racket/match syntax/parse
|
||||
(only-in (private type-contract) include-extra-requires?)
|
||||
(private syntax-properties)
|
||||
(types printer)
|
||||
(typecheck renamer def-binding)
|
||||
(utils tc-utils)
|
||||
(for-syntax racket/base)
|
||||
(for-template racket/base "def-export.rkt"
|
||||
(only-in racket/contract/base define-module-boundary-contract)))
|
||||
(for-template racket/base "def-export.rkt"))
|
||||
|
||||
(provide remove-provides provide? generate-prov get-alternate)
|
||||
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
(typecheck check-below tc-subst)
|
||||
(utils tc-utils)
|
||||
(rep type-rep filter-rep)
|
||||
(except-in (types utils union abbrev subtype)
|
||||
(except-in (types utils abbrev subtype)
|
||||
-> ->* one-of/c))
|
||||
(require-for-cond-contract
|
||||
syntax/stx)
|
||||
|
|
|
|||
|
|
@ -6,14 +6,8 @@
|
|||
(require "../../utils/utils.rkt"
|
||||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match
|
||||
racket/dict
|
||||
racket/format
|
||||
(env global-env)
|
||||
syntax/parse
|
||||
(typecheck signatures)
|
||||
(types base-abbrev resolve subtype union utils)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(for-template racket/base
|
||||
;; shift -1 because it's provided +1
|
||||
racket/contract/private/provide))
|
||||
|
|
|
|||
|
|
@ -4,7 +4,6 @@
|
|||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
(utils tc-utils)
|
||||
(types utils abbrev numeric-tower union resolve type-table generalize)
|
||||
(typecheck signatures check-below)
|
||||
(rep type-rep rep-utils)
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match racket/set
|
||||
(typecheck signatures tc-app-helper tc-funapp tc-metafunctions)
|
||||
(types abbrev utils union substitute subtype)
|
||||
(types abbrev utils substitute subtype)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(r:infer infer)
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
(require "../../utils/utils.rkt"
|
||||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
syntax/parse syntax/stx racket/match unstable/sequence
|
||||
(typecheck signatures tc-funapp)
|
||||
(types abbrev utils union substitute)
|
||||
(rep type-rep)
|
||||
|
|
|
|||
|
|
@ -7,7 +7,6 @@
|
|||
syntax/parse/experimental/reflect
|
||||
(typecheck signatures tc-funapp)
|
||||
(types utils)
|
||||
(private syntax-properties)
|
||||
(rep type-rep filter-rep object-rep))
|
||||
|
||||
(import tc-expr^ tc-app-keywords^
|
||||
|
|
|
|||
|
|
@ -3,8 +3,7 @@
|
|||
(require "../../utils/utils.rkt"
|
||||
"signatures.rkt"
|
||||
"utils.rkt"
|
||||
syntax/parse syntax/stx racket/match unstable/sequence unstable/syntax
|
||||
racket/dict
|
||||
syntax/parse syntax/stx racket/match unstable/sequence
|
||||
racket/format
|
||||
racket/list
|
||||
(typecheck signatures)
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
"utils.rkt"
|
||||
syntax/parse racket/match unstable/sequence unstable/syntax
|
||||
(typecheck signatures tc-funapp)
|
||||
(types utils abbrev)
|
||||
(types utils)
|
||||
|
||||
(for-label racket/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -3,10 +3,9 @@
|
|||
(require (rename-in "../utils/utils.rkt" [infer r:infer])
|
||||
racket/match racket/list
|
||||
(typecheck signatures tc-app-helper)
|
||||
(types utils union subtype abbrev substitute)
|
||||
(types utils abbrev substitute)
|
||||
(utils tc-utils)
|
||||
(env tvar-env index-env)
|
||||
(rep type-rep filter-rep)
|
||||
(rep type-rep)
|
||||
(r:infer infer))
|
||||
|
||||
(import tc-expr^ tc-lambda^ tc-let^ tc-app^)
|
||||
|
|
|
|||
|
|
@ -4,17 +4,16 @@
|
|||
(require (rename-in "../utils/utils.rkt" [private private-in])
|
||||
racket/match (prefix-in - (contract-req))
|
||||
"signatures.rkt"
|
||||
"check-below.rkt" "tc-app-helper.rkt" "../types/kw-types.rkt"
|
||||
(types utils abbrev union subtype type-table classes filter-ops remove-intersect resolve generalize)
|
||||
(private-in parse-type type-annotation syntax-properties)
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
"check-below.rkt" "../types/kw-types.rkt"
|
||||
(types utils abbrev union subtype type-table filter-ops remove-intersect resolve generalize)
|
||||
(private-in syntax-properties)
|
||||
(rep type-rep filter-rep)
|
||||
(only-in (infer infer) restrict)
|
||||
(utils tc-utils)
|
||||
(env lexical-env tvar-env index-env scoped-tvar-env)
|
||||
racket/format racket/list
|
||||
(env lexical-env)
|
||||
racket/list
|
||||
racket/private/class-internal
|
||||
syntax/parse syntax/stx
|
||||
unstable/syntax
|
||||
syntax/parse
|
||||
(only-in racket/list split-at)
|
||||
(typecheck internal-forms tc-envops)
|
||||
unstable/sequence
|
||||
|
|
|
|||
|
|
@ -2,12 +2,12 @@
|
|||
|
||||
(require
|
||||
"../utils/utils.rkt"
|
||||
(typecheck tc-expr-unit signatures tc-app-helper check-below)
|
||||
(types tc-result tc-error utils abbrev classes type-table)
|
||||
(typecheck signatures tc-app-helper check-below)
|
||||
(types utils abbrev classes type-table)
|
||||
(rep type-rep)
|
||||
(utils tc-utils)
|
||||
(env index-env tvar-env scoped-tvar-env)
|
||||
(private syntax-properties type-annotation parse-type)
|
||||
(private syntax-properties parse-type)
|
||||
unstable/syntax
|
||||
racket/format
|
||||
racket/match
|
||||
|
|
|
|||
|
|
@ -1,16 +1,18 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (rename-in "../utils/utils.rkt" [infer r:infer])
|
||||
racket/match syntax/stx
|
||||
racket/match
|
||||
(prefix-in c: (contract-req))
|
||||
(env tvar-env)
|
||||
(for-syntax syntax/parse racket/base)
|
||||
(types utils union subtype resolve abbrev
|
||||
(types utils subtype resolve abbrev
|
||||
substitute classes)
|
||||
(typecheck tc-metafunctions tc-app-helper check-below)
|
||||
(typecheck tc-metafunctions tc-app-helper)
|
||||
(rep type-rep)
|
||||
(r:infer infer))
|
||||
|
||||
(require-for-cond-contract syntax/stx)
|
||||
|
||||
(provide/cond-contract
|
||||
[tc/funapp
|
||||
(syntax? stx-list? Type/c (c:listof tc-results1/c)
|
||||
|
|
|
|||
|
|
@ -1,8 +1,7 @@
|
|||
#lang racket/unit
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(types abbrev union utils filter-ops)
|
||||
(env lexical-env type-env-structs)
|
||||
(rep filter-rep)
|
||||
(types utils filter-ops)
|
||||
(utils tc-utils)
|
||||
(typecheck signatures tc-envops tc-metafunctions)
|
||||
(types type-table)
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/unit
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/dict racket/list syntax/parse racket/syntax syntax/stx
|
||||
racket/dict racket/list syntax/parse syntax/stx
|
||||
racket/match syntax/id-table racket/set
|
||||
unstable/sequence
|
||||
(contract-req)
|
||||
|
|
@ -16,7 +16,6 @@
|
|||
(env lexical-env tvar-env index-env scoped-tvar-env)
|
||||
(utils tc-utils)
|
||||
(for-syntax
|
||||
syntax/parse
|
||||
racket/base))
|
||||
|
||||
(import tc-expr^)
|
||||
|
|
|
|||
|
|
@ -1,12 +1,12 @@
|
|||
#lang racket/unit
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(except-in (types utils subtype abbrev union filter-ops remove-intersect) -> ->* one-of/c)
|
||||
(except-in (types utils abbrev filter-ops remove-intersect) -> ->* one-of/c)
|
||||
(only-in (types abbrev) (-> t:->) [->* t:->*])
|
||||
(private type-annotation parse-type syntax-properties)
|
||||
(env lexical-env type-alias-env type-alias-helper mvar-env
|
||||
global-env type-env-structs scoped-tvar-env)
|
||||
(rep type-rep filter-rep)
|
||||
(env lexical-env type-alias-helper mvar-env
|
||||
global-env scoped-tvar-env)
|
||||
(rep filter-rep)
|
||||
syntax/free-vars
|
||||
(typecheck signatures tc-metafunctions tc-subst internal-forms tc-envops)
|
||||
(utils tarjan)
|
||||
|
|
@ -17,6 +17,7 @@
|
|||
;; For internal type forms
|
||||
(for-template (only-in racket/base define-values)))
|
||||
|
||||
(require-for-cond-contract (rep type-rep))
|
||||
|
||||
(import tc-expr^)
|
||||
(export tc-let^)
|
||||
|
|
|
|||
|
|
@ -2,17 +2,18 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
syntax/struct syntax/parse racket/function racket/match racket/list
|
||||
racket/struct-info
|
||||
|
||||
(prefix-in c: (contract-req))
|
||||
(rep type-rep object-rep free-variance)
|
||||
(private parse-type syntax-properties)
|
||||
(types abbrev utils resolve substitute type-table struct-table)
|
||||
(types abbrev utils resolve substitute struct-table)
|
||||
(env global-env type-name-env type-alias-env tvar-env)
|
||||
(utils tc-utils)
|
||||
(typecheck def-binding internal-forms)
|
||||
(for-syntax syntax/parse racket/base))
|
||||
|
||||
(require-for-cond-contract racket/struct-info)
|
||||
|
||||
(provide tc/struct name-of-struct d-s
|
||||
refine-struct-variance!
|
||||
register-parsed-struct-sty!
|
||||
|
|
|
|||
|
|
@ -4,9 +4,9 @@
|
|||
racket/syntax syntax/parse syntax/stx syntax/id-table
|
||||
racket/list unstable/list racket/dict racket/match unstable/sequence
|
||||
(prefix-in c: (contract-req))
|
||||
(rep type-rep free-variance)
|
||||
(rep type-rep)
|
||||
(types utils abbrev type-table struct-table)
|
||||
(private parse-type type-annotation type-contract syntax-properties)
|
||||
(private parse-type type-annotation syntax-properties)
|
||||
(env global-env init-envs type-name-env type-alias-env
|
||||
lexical-env env-req mvar-env scoped-tvar-env
|
||||
type-alias-helper)
|
||||
|
|
|
|||
|
|
@ -12,7 +12,7 @@
|
|||
unstable/function
|
||||
|
||||
(prefix-in c: (contract-req))
|
||||
(rename-in (rep type-rep filter-rep object-rep rep-utils)
|
||||
(rename-in (rep type-rep filter-rep object-rep)
|
||||
[make-Base make-Base*])
|
||||
(types union numeric-tower)
|
||||
;; Using this form so all-from-out works
|
||||
|
|
|
|||
|
|
@ -2,10 +2,8 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
racket/list racket/match
|
||||
racket/dict
|
||||
(prefix-in c: (contract-req))
|
||||
(rep type-rep filter-rep object-rep rep-utils)
|
||||
(utils tc-utils)
|
||||
(only-in (infer infer) restrict)
|
||||
(types union subtype remove-intersect abbrev tc-result))
|
||||
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@
|
|||
"types/utils.rkt"
|
||||
"types/resolve.rkt"
|
||||
"utils/utils.rkt"
|
||||
"utils/tc-utils.rkt"
|
||||
"env/type-name-env.rkt")
|
||||
"utils/tc-utils.rkt")
|
||||
(for-syntax racket/base syntax/parse))
|
||||
|
||||
;; printer-type: (one-of/c 'custom 'debug)
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep rep-utils)
|
||||
(types abbrev union subtype resolve utils)
|
||||
(types union subtype resolve utils)
|
||||
racket/match)
|
||||
|
||||
(provide (rename-out [*remove remove]) overlap)
|
||||
|
|
|
|||
|
|
@ -22,8 +22,7 @@
|
|||
(for-syntax
|
||||
racket/base
|
||||
syntax/parse
|
||||
racket/syntax
|
||||
unstable/sequence))
|
||||
racket/syntax))
|
||||
(provide
|
||||
structural?
|
||||
structural-map)
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "../utils/utils.rkt"
|
||||
(rep type-rep filter-rep rep-utils)
|
||||
(rep type-rep filter-rep)
|
||||
(utils tc-utils)
|
||||
(types base-abbrev)
|
||||
racket/match
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
(provide struct-type/c)
|
||||
(require racket/contract/base racket/contract/combinator)
|
||||
(require racket/contract/combinator)
|
||||
|
||||
;; struct-type/c generates contracts which protect structure type
|
||||
;; descriptors. These descriptors can be used reflectively to create
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user