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

rename to rkt

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-30 09:51:32 -04:00
parent 04f58cab86
commit 459a675b90
80 changed files with 170 additions and 170 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/env/init-envs.rkt vendored
View File

@ -1,9 +1,9 @@
#lang scheme/base
(provide (all-defined-out))
(require "../utils/utils.ss"
"type-env.ss"
"type-name-env.ss"
"type-alias-env.ss"
(require "../utils/utils.rkt"
"type-env.rkt"
"type-name-env.rkt"
"type-alias-env.rkt"
unstable/struct
(rep type-rep object-rep filter-rep rep-utils)
(for-template (rep type-rep object-rep filter-rep)

6
collects/typed-scheme/env/lexical-env.rkt vendored
View File

@ -1,8 +1,8 @@
#lang scheme/base
(require "../utils/utils.ss"
"type-environments.ss"
"type-env.ss"
(require "../utils/utils.rkt"
"type-environments.rkt"
"type-env.rkt"
unstable/mutated-vars
(only-in scheme/contract ->* -> or/c any/c listof cons/c)
(utils tc-utils)

2
collects/typed-scheme/env/type-alias-env.rkt vendored
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
syntax/boundmap
(utils tc-utils)
mzlib/trace

2
collects/typed-scheme/env/type-env.rkt vendored
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
syntax/id-table
(utils tc-utils)
(types utils))

2
collects/typed-scheme/env/type-environments.rkt vendored
View File

@ -1,7 +1,7 @@
#lang scheme/base
(require scheme/contract
(prefix-in r: "../utils/utils.ss")
(prefix-in r: "../utils/utils.rkt")
scheme/match (r:rep filter-rep rep-utils type-rep) unstable/struct
(except-in (r:utils tc-utils) make-env)
#;(r:typecheck tc-metafunctions))

2
collects/typed-scheme/env/type-name-env.rkt vendored
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require syntax/boundmap
mzlib/trace

4
collects/typed-scheme/infer/constraint-structs.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss" (rep type-rep) scheme/contract scheme/match (for-syntax scheme/base syntax/parse))
(require "../utils/utils.rkt" (rep type-rep) scheme/contract scheme/match (for-syntax scheme/base syntax/parse))
;; S, T types
;; X a var
@ -23,7 +23,7 @@
;; maps is a list of pairs of
;; - functional maps from vars to c's
;; - dmaps (see dmap.ss)
;; - dmaps (see dmap.rkt)
;; we need a bunch of mappings for each cset to handle case-lambda
;; because case-lambda can generate multiple possible solutions, and we
;; don't want to rule them out too early

4
collects/typed-scheme/infer/constraints.rkt
View File

@ -1,11 +1,11 @@
#lang scheme/unit
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(types convenience utils union subtype)
(rep type-rep)
(utils tc-utils)
unstable/sequence unstable/hash
"signatures.ss" "constraint-structs.ss"
"signatures.rkt" "constraint-structs.rkt"
scheme/match)
(import restrict^ dmap^)

4
collects/typed-scheme/infer/dmap.rkt
View File

@ -1,7 +1,7 @@
#lang scheme/unit
(require "../utils/utils.ss"
"signatures.ss" "constraint-structs.ss"
(require "../utils/utils.rkt"
"signatures.rkt" "constraint-structs.rkt"
(utils tc-utils)
unstable/sequence unstable/hash scheme/match)

2
collects/typed-scheme/infer/infer-dummy.rkt
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep) (utils tc-utils) mzlib/trace)

16
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -3,15 +3,15 @@
(require scheme/require
(except-in
(path-up
"utils/utils.ss" "utils/tc-utils.ss"
"rep/free-variance.ss" "rep/type-rep.ss" "rep/filter-rep.ss" "rep/rep-utils.ss"
"types/convenience.ss" "types/union.ss" "types/subtype.ss" "types/remove-intersect.ss" "types/resolve.ss"
"env/type-name-env.ss")
"utils/utils.rkt" "utils/tc-utils.rkt"
"rep/free-variance.rkt" "rep/type-rep.rkt" "rep/filter-rep.rkt" "rep/rep-utils.rkt"
"types/convenience.rkt" "types/union.rkt" "types/subtype.rkt" "types/remove-intersect.rkt" "types/resolve.rkt"
"env/type-name-env.rkt")
make-env)
(except-in (path-up "types/utils.ss") Dotted)
(only-in (path-up "env/type-environments.ss") lookup current-tvars)
"constraint-structs.ss"
"signatures.ss"
(except-in (path-up "types/utils.rkt") Dotted)
(only-in (path-up "env/type-environments.rkt") lookup current-tvars)
"constraint-structs.rkt"
"signatures.rkt"
scheme/match
mzlib/etc
mzlib/trace

6
collects/typed-scheme/infer/infer.rkt
View File

@ -1,8 +1,8 @@
#lang scheme/base
(require (except-in "../utils/utils.ss" infer))
(require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss"
"restrict.ss" "promote-demote.ss"
(require (except-in "../utils/utils.rkt" infer))
(require "infer-unit.rkt" "constraints.rkt" "dmap.rkt" "signatures.rkt"
"restrict.rkt" "promote-demote.rkt"
mzlib/trace
(only-in scheme/unit provide-signature-elements
define-values/invoke-unit/infer link)

4
collects/typed-scheme/infer/promote-demote.rkt
View File

@ -1,9 +1,9 @@
#lang scheme/unit
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep rep-utils)
(types convenience union utils)
"signatures.ss"
"signatures.rkt"
scheme/list scheme/match)
(import)

4
collects/typed-scheme/infer/restrict.rkt
View File

@ -1,9 +1,9 @@
#lang scheme/unit
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep)
(types utils union subtype remove-intersect resolve)
"signatures.ss"
"signatures.rkt"
scheme/match mzlib/trace)
(import infer^)

2
collects/typed-scheme/infer/signatures.rkt
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require scheme/unit scheme/contract "constraint-structs.ss" "../utils/utils.ss")
(require scheme/unit scheme/contract "constraint-structs.rkt" "../utils/utils.rkt")
(require (rep type-rep) (utils unit-utils))
(provide (all-defined-out))

2
collects/typed-scheme/lang/reader.rkt
View File

@ -5,4 +5,4 @@ typed-scheme
#:read r:read
#:read-syntax r:read-syntax
(require (prefix-in r: "../typed-reader.ss"))
(require (prefix-in r: "../typed-reader.rkt"))

22
collects/typed-scheme/main.rkt
View File

@ -1,21 +1,21 @@
#lang s-exp "minimal.ss"
#lang s-exp "minimal.rkt"
(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers number? lambda #%app)
(except "private/prims.ss")
(except "private/base-types.ss")
(except "private/base-types-extra.ss"))
(except "private/prims.rkt")
(except "private/base-types.rkt")
(except "private/base-types-extra.rkt"))
(basics #%module-begin
#%top-interaction
lambda
#%app))
(require "private/base-env.ss"
"private/base-special-env.ss"
"private/base-env-numeric.ss"
"private/base-env-indexing-old.ss"
"private/extra-procs.ss"
(for-syntax "private/base-types-extra.ss"))
(require "private/base-env.rkt"
"private/base-special-env.rkt"
"private/base-env-numeric.rkt"
"private/base-env-indexing-old.rkt"
"private/extra-procs.rkt"
(for-syntax "private/base-types-extra.rkt"))
(provide (rename-out [with-handlers: with-handlers] [real? number?])
(for-syntax (all-from-out "private/base-types-extra.ss"))
(for-syntax (all-from-out "private/base-types-extra.rkt"))
assert with-type)

4
collects/typed-scheme/no-check.rkt
View File

@ -1,12 +1,12 @@
#lang scheme/base
(require
(except-in "private/prims.ss"
(except-in "private/prims.rkt"
require/typed require/opaque-type require-typed-struct)
(for-syntax scheme/base syntax/parse syntax/struct))
(provide (all-from-out scheme/base)
(all-defined-out)
(all-from-out "private/prims.ss"))
(all-from-out "private/prims.rkt"))
(define-syntax (require/typed stx)

2
collects/typed-scheme/private/annotate-classes.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require syntax/parse "colon.ss" (for-template "colon.ss") "parse-type.ss")
(require syntax/parse "colon.rkt" (for-template "colon.rkt") "parse-type.rkt")
(provide (all-defined-out))
(define-splicing-syntax-class annotated-name

6
collects/typed-scheme/private/base-env-indexing-abs.rkt
View File

@ -1,12 +1,12 @@
#lang scheme
(require
"../utils/utils.ss"
"../utils/utils.rkt"
scheme/tcp
scheme/unsafe/ops
(only-in rnrs/lists-6 fold-left)
'#%paramz
"extra-procs.ss"
"extra-procs.rkt"
(utils tc-utils )
(types union convenience)
(only-in '#%kernel [apply kernel:apply])
@ -112,7 +112,7 @@
[peek-byte
(cl->* [->opt [-Input-Port -Nat] (Un -Byte (-val eof))])]
;; string.ss
;; string.rkt
[real->decimal-string (N [-Nat] . ->opt . -String)]
[random (cl-> [(-Nat) -Nat*] [() -Real])]

4
collects/typed-scheme/private/base-env-indexing-old.rkt
View File

@ -1,9 +1,9 @@
#lang scheme
(require
(rename-in "../utils/utils.ss" [infer r:infer])
(rename-in "../utils/utils.rkt" [infer r:infer])
(for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer)
"base-env-indexing-abs.ss"))
"base-env-indexing-abs.rkt"))
(define-for-syntax e (parameterize ([infer-param infer]) (indexing -Integer)))
(begin-for-syntax (initialize-type-env e))

4
collects/typed-scheme/private/base-env-indexing.rkt
View File

@ -1,9 +1,9 @@
#lang scheme
(require
(rename-in "../utils/utils.ss" [infer r:infer])
(rename-in "../utils/utils.rkt" [infer r:infer])
(for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer)
"base-env-indexing-abs.ss"))
"base-env-indexing-abs.rkt"))
(define-for-syntax e (parameterize ([infer-param infer]) (indexing -Nat)))
(begin-for-syntax (initialize-type-env e))

4
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "env-lang.ss"
#lang s-exp "env-lang.rkt"
(begin
(require
@ -7,7 +7,7 @@
scheme/unsafe/ops
(only-in rnrs/lists-6 fold-left)
'#%paramz
"extra-procs.ss"
"extra-procs.rkt"
(only-in '#%kernel [apply kernel:apply])
scheme/promise scheme/system
(only-in string-constants/private/only-once maybe-print-message)

6
collects/typed-scheme/private/base-env.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "env-lang.ss"
#lang s-exp "env-lang.rkt"
(require
scheme/tcp
@ -7,7 +7,7 @@
scheme/fixnum
(only-in rnrs/lists-6 fold-left)
'#%paramz
"extra-procs.ss"
"extra-procs.rkt"
(only-in '#%kernel [apply kernel:apply])
scheme/promise scheme/system
(only-in string-constants/private/only-once maybe-print-message)
@ -605,7 +605,7 @@
[symbol=? (Sym Sym . -> . B)]
[false? (make-pred-ty (-val #f))]
;; with-stx.ss
;; with-stx.rkt
[generate-temporaries ((Un (-Syntax Univ) (-lst Univ)) . -> . (-lst (-Syntax Sym)))]
[check-duplicate-identifier ((-lst (-Syntax Sym)) . -> . (-opt (-Syntax Sym)))]

4
collects/typed-scheme/private/base-special-env.rkt
View File

@ -2,8 +2,8 @@
;; these are libraries providing functions we add types to that are not in scheme/base
(require
"extra-procs.ss"
"../utils/utils.ss"
"extra-procs.rkt"
"../utils/utils.rkt"
(only-in scheme/list cons? take drop add-between last filter-map)
(only-in rnrs/lists-6 fold-left)
'#%paramz

2
collects/typed-scheme/private/base-types-new.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "type-env-lang.ss"
#lang s-exp "type-env-lang.rkt"
[Complex -Number]
[Number -Number]

2
collects/typed-scheme/private/base-types.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "type-env-lang.ss"
#lang s-exp "type-env-lang.rkt"
[Number -Real]
[Real -Real]

10
collects/typed-scheme/private/colon.rkt
View File

@ -1,10 +1,10 @@
#lang scheme/base
(require (for-syntax scheme/base syntax/parse "internal.ss")
"../typecheck/internal-forms.ss"
(prefix-in t: "base-types-extra.ss")
(for-template (prefix-in t: "base-types-extra.ss"))
(for-syntax (prefix-in t: "base-types-extra.ss")))
(require (for-syntax scheme/base syntax/parse "internal.rkt")
"../typecheck/internal-forms.rkt"
(prefix-in t: "base-types-extra.rkt")
(for-template (prefix-in t: "base-types-extra.rkt"))
(for-syntax (prefix-in t: "base-types-extra.rkt")))
(provide :)

2
collects/typed-scheme/private/env-lang.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require (rename-in "../utils/utils.ss" [infer r:infer]))
(require (rename-in "../utils/utils.rkt" [infer r:infer]))
(require (for-syntax (utils tc-utils)
(env init-envs)

2
collects/typed-scheme/private/optimize.rkt
View File

@ -1,7 +1,7 @@
#lang scheme/base
(require syntax/parse (for-template scheme/base scheme/unsafe/ops)
"../utils/utils.ss" unstable/match scheme/match unstable/syntax
"../utils/utils.rkt" unstable/match scheme/match unstable/syntax
(rep type-rep)
(types abbrev type-table utils))
(provide optimize)

8
collects/typed-scheme/private/parse-type.rkt
View File

@ -1,16 +1,16 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(except-in (rep type-rep) make-arr)
(rename-in (types convenience union utils) [make-arr* make-arr])
(utils tc-utils stxclass-util)
syntax/stx (prefix-in c: scheme/contract)
syntax/parse
(env type-environments type-name-env type-alias-env lexical-env)
(prefix-in t: (combine-in "base-types-extra.ss" "base-types.ss")) (only-in "colon.ss" :)
(prefix-in t: (combine-in "base-types-extra.rkt" "base-types.rkt")) (only-in "colon.rkt" :)
scheme/match
(for-template scheme/base "base-types-extra.ss" "colon.ss")
(for-template (prefix-in t: "base-types-extra.ss")))
(for-template scheme/base "base-types-extra.rkt" "colon.rkt")
(for-template (prefix-in t: "base-types-extra.rkt")))
(define-struct poly (name vars) #:prefab)

12
collects/typed-scheme/private/prims.rkt
View File

@ -25,30 +25,30 @@ This file defines two sorts of primitives. All of them are provided into any mod
[lambda: λ:]
[define-typed-struct/exec define-struct/exec:]))
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(for-syntax
syntax/parse
syntax/private/util
scheme/base
(rep type-rep)
mzlib/match
"parse-type.ss" "annotate-classes.ss"
"parse-type.rkt" "annotate-classes.rkt"
syntax/struct
syntax/stx
scheme/struct-info
(private internal)
(except-in (utils utils tc-utils))
(env type-name-env)
"type-contract.ss"))
"type-contract.rkt"))
(require (utils require-contract)
"colon.ss"
"colon.rkt"
(typecheck internal-forms)
(except-in mzlib/contract ->)
(only-in mzlib/contract [-> c->])
mzlib/struct
"base-types.ss"
"base-types-extra.ss")
"base-types.rkt"
"base-types-extra.rkt")
(define-for-syntax (ignore stx) (syntax-property stx 'typechecker:ignore #t))

2
collects/typed-scheme/private/type-annotation.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep)
(utils tc-utils)
(env type-env)

2
collects/typed-scheme/private/type-contract.rkt
View File

@ -3,7 +3,7 @@
(provide type->contract define/fixup-contract? change-contract-fixups)
(require
"../utils/utils.ss"
"../utils/utils.rkt"
syntax/parse
(rep type-rep filter-rep object-rep)
(typecheck internal-forms)

2
collects/typed-scheme/private/type-env-lang.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (for-syntax (env init-envs)
scheme/base

2
collects/typed-scheme/rep/filter-rep.rkt
View File

@ -1,7 +1,7 @@
#lang scheme/base
(require scheme/match scheme/contract)
(require "rep-utils.ss" "free-variance.ss")
(require "rep-utils.rkt" "free-variance.rkt")
(define Filter/c
(flat-named-contract

4
collects/typed-scheme/rep/free-variance.rkt
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(for-syntax scheme/base)
(utils tc-utils) scheme/list
mzlib/etc scheme/contract)
@ -9,7 +9,7 @@
fix-bound make-invariant variance?)
;; this file contains support for calculating the free variables/indexes of types
;; actual computation is done in rep-utils.ss and type-rep.ss
;; actual computation is done in rep-utils.rkt and type-rep.rkt
(define-values (Covariant Contravariant Invariant Constant Dotted)
(let ()
(define-struct Variance () #:inspector #f)

2
collects/typed-scheme/rep/object-rep.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require scheme/match scheme/contract "rep-utils.ss" "free-variance.ss" "filter-rep.ss")
(require scheme/match scheme/contract "rep-utils.rkt" "free-variance.rkt" "filter-rep.rkt")
(provide object-equal?)
(dpe CarPE () [#:fold-rhs #:base])

6
collects/typed-scheme/rep/rep-utils.rkt
View File

@ -1,11 +1,11 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require mzlib/struct
scheme/match
syntax/boundmap
"free-variance.ss"
"interning.ss"
"free-variance.rkt"
"interning.rkt"
unstable/syntax unstable/match
mzlib/etc
scheme/contract

6
collects/typed-scheme/rep/type-rep.rkt
View File

@ -1,8 +1,8 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (utils tc-utils)
"rep-utils.ss" "object-rep.ss" "filter-rep.ss" "free-variance.ss"
"rep-utils.rkt" "object-rep.rkt" "filter-rep.rkt" "free-variance.rkt"
mzlib/trace scheme/match
scheme/contract unstable/debug
(for-syntax scheme/base syntax/parse))
@ -23,7 +23,7 @@
;; Name = Symbol
;; Type is defined in rep-utils.ss
;; Type is defined in rep-utils.rkt
;; t must be a Type
(dt Scope ([t (or/c Type/c Scope?)]) [#:key (Type-key t)])

2
collects/typed-scheme/scribblings/begin.scrbl
View File

@ -1,7 +1,7 @@
#lang scribble/manual
@begin[(require (for-label (only-meta-in 0 typed/scheme)) scribble/eval
"utils.ss" (only-in "quick.scrbl" typed-mod))]
"utils.rkt" (only-in "quick.scrbl" typed-mod))]
@(define the-eval (make-base-eval))
@(the-eval '(require typed/scheme))

2
collects/typed-scheme/scribblings/more.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.ss"
@begin[(require "utils.rkt"
scribble/core scribble/eval
(for-label (only-meta-in 0 typed/scheme) mzlib/etc))]

2
collects/typed-scheme/scribblings/quick.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@(require "utils.ss" (for-label (only-meta-in 0 typed/scheme)))
@(require "utils.rkt" (for-label (only-meta-in 0 typed/scheme)))
@(provide typed-mod)
@title[#:tag "quick"]{Quick Start}

2
collects/typed-scheme/scribblings/ts-guide.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.ss" (for-label (only-meta-in 0 typed/scheme)))]
@begin[(require "utils.rkt" (for-label (only-meta-in 0 typed/scheme)))]
@title[#:tag "top"]{@bold{Typed Scheme}: Scheme with Static Types}

2
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.ss" scribble/eval
@begin[(require "utils.rkt" scribble/eval
scheme/sandbox)
(require (for-label (only-meta-in 0 typed/scheme)
scheme/list srfi/14

2
collects/typed-scheme/scribblings/types.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.ss"
@begin[(require "utils.rkt"
scribble/core scribble/eval
(for-label (only-meta-in 0 typed/scheme) mzlib/etc))]

2
collects/typed-scheme/scribblings/varargs.scrbl
View File

@ -1,6 +1,6 @@
#lang scribble/manual
@begin[(require "utils.ss" (for-label typed/scheme/base))]
@begin[(require "utils.rkt" (for-label typed/scheme/base))]
@title[#:tag "varargs"]{Variable-Arity Functions: Programming with Rest Arguments}

4
collects/typed-scheme/typecheck/check-subforms-unit.rkt
View File

@ -1,10 +1,10 @@
#lang scheme/unit
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
syntax/kerncase
syntax/parse
scheme/match unstable/debug
"signatures.ss" "tc-metafunctions.ss"
"signatures.rkt" "tc-metafunctions.rkt"
(types utils convenience union subtype)
(utils tc-utils)
(rep type-rep))

2
collects/typed-scheme/typecheck/def-binding.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require scheme/contract "../utils/utils.ss" scheme/struct-info)
(require scheme/contract "../utils/utils.rkt" scheme/struct-info)
(define-struct binding (name) #:transparent)
(define-struct (def-binding binding) (ty) #:transparent)

2
collects/typed-scheme/typecheck/find-annotation.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss" syntax/parse
(require "../utils/utils.rkt" syntax/parse
scheme/contract
(rep type-rep)
(env lexical-env)

4
collects/typed-scheme/typecheck/provide-handling.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(only-in srfi/1/list s:member)
syntax/kerncase syntax/boundmap
(env type-name-env type-alias-env)
@ -12,7 +12,7 @@
racket/contract/private/provide unstable/list
unstable/debug
unstable/syntax scheme/struct-info scheme/match
"def-binding.ss" syntax/parse)
"def-binding.rkt" syntax/parse)
(require (for-template scheme/base
scheme/contract))

2
collects/typed-scheme/typecheck/signatures.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require scheme/unit scheme/contract
"../utils/utils.ss"
"../utils/utils.rkt"
(rep type-rep)
(utils unit-utils)
(types utils))

2
collects/typed-scheme/typecheck/tc-app-helper.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss" scheme/match unstable/list
(require "../utils/utils.rkt" scheme/match unstable/list
(utils tc-utils) (rep type-rep) (types utils union))
(provide (all-defined-out))

10
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -1,9 +1,9 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [infer r:infer])
"signatures.ss" "tc-metafunctions.ss"
"tc-app-helper.ss" "find-annotation.ss"
"tc-subst.ss"
(require (rename-in "../utils/utils.rkt" [infer r:infer])
"signatures.rkt" "tc-metafunctions.rkt"
"tc-app-helper.rkt" "find-annotation.rkt"
"tc-subst.rkt"
syntax/parse scheme/match mzlib/trace scheme/list
unstable/sequence
;; fixme - don't need to be bound in this phase - only to make syntax/parse happy
@ -21,7 +21,7 @@
(r:infer infer)
(for-template
(only-in '#%kernel [apply k:apply])
"internal-forms.ss" scheme/base scheme/bool
"internal-forms.rkt" scheme/base scheme/bool
(only-in racket/private/class-internal make-object do-make-object)))
(import tc-expr^ tc-lambda^ tc-dots^ tc-let^)

4
collects/typed-scheme/typecheck/tc-dots-unit.rkt
View File

@ -1,7 +1,7 @@
#lang scheme/unit
(require "../utils/utils.ss"
"signatures.ss"
(require "../utils/utils.rkt"
"signatures.rkt"
(utils tc-utils)
(env type-environments)
(types utils)

2
collects/typed-scheme/typecheck/tc-envops.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require (rename-in "../utils/utils.ss" [infer infer-in]))
(require (rename-in "../utils/utils.rkt" [infer infer-in]))
(require (rename-in (types subtype convenience remove-intersect union)
[-> -->]
[->* -->*]

4
collects/typed-scheme/typecheck/tc-expr-unit.rkt
View File

@ -1,10 +1,10 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [private private-in]))
(require (rename-in "../utils/utils.rkt" [private private-in]))
(require syntax/kerncase mzlib/trace
scheme/match (prefix-in - scheme/contract)
"signatures.ss" "tc-envops.ss" "tc-metafunctions.ss" "tc-subst.ss"
"signatures.rkt" "tc-envops.rkt" "tc-metafunctions.rkt" "tc-subst.rkt"
(types utils convenience union subtype remove-intersect type-table)
(private-in parse-type type-annotation)
(rep type-rep)

4
collects/typed-scheme/typecheck/tc-if.rkt
View File

@ -1,8 +1,8 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [infer r:infer]))
(require "signatures.ss"
(require (rename-in "../utils/utils.rkt" [infer r:infer]))
(require "signatures.rkt"
(rep type-rep filter-rep object-rep)
(rename-in (types convenience subtype union utils comparison remove-intersect abbrev filter-ops)
[remove *remove])

10
collects/typed-scheme/typecheck/tc-lambda-unit.rkt
View File

@ -1,9 +1,9 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [infer r:infer])
"signatures.ss"
"tc-metafunctions.ss"
"tc-subst.ss"
(require (rename-in "../utils/utils.rkt" [infer r:infer])
"signatures.rkt"
"tc-metafunctions.rkt"
"tc-subst.rkt"
mzlib/trace
scheme/list
syntax/private/util syntax/stx
@ -17,7 +17,7 @@
(utils tc-utils)
unstable/debug
scheme/match)
(require (for-template scheme/base "internal-forms.ss"))
(require (for-template scheme/base "internal-forms.rkt"))
(import tc-expr^)
(export tc-lambda^)

6
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -1,7 +1,7 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [infer r:infer]))
(require "signatures.ss" "tc-metafunctions.ss" "tc-subst.ss"
(require (rename-in "../utils/utils.rkt" [infer r:infer]))
(require "signatures.rkt" "tc-metafunctions.rkt" "tc-subst.rkt"
(types utils convenience)
(private type-annotation parse-type)
(env lexical-env type-alias-env type-env type-environments)
@ -13,7 +13,7 @@
syntax/kerncase syntax/parse
(for-template
scheme/base
"internal-forms.ss"))
"internal-forms.rkt"))
(require (only-in srfi/1/list s:member))

2
collects/typed-scheme/typecheck/tc-metafunctions.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rename-in (types subtype convenience remove-intersect union utils filter-ops)
[-> -->]
[->* -->*]

6
collects/typed-scheme/typecheck/tc-structs.rkt
View File

@ -1,12 +1,12 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep)
(private parse-type)
(types convenience utils union resolve abbrev)
(env type-env type-environments type-name-env)
(utils tc-utils)
"def-binding.ss"
"def-binding.rkt"
syntax/kerncase
syntax/struct
mzlib/trace
@ -15,7 +15,7 @@
(require (for-template scheme/base
"internal-forms.ss"))
"internal-forms.rkt"))
(provide tc/struct tc/poly-struct names-of-struct tc/builtin-struct d-s)

4
collects/typed-scheme/typecheck/tc-subst.ss → collects/typed-scheme/typecheck/tc-subst.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rename-in (types subtype convenience remove-intersect union utils filter-ops)
[-> -->]
[->* -->*]
@ -8,7 +8,7 @@
(rep type-rep filter-rep rep-utils) scheme/list
scheme/contract scheme/match unstable/match unstable/debug
(for-syntax scheme/base)
"tc-metafunctions.ss")
"tc-metafunctions.rkt")
;(provide (all-defined-out))

14
collects/typed-scheme/typecheck/tc-toplevel.rkt
View File

@ -1,25 +1,25 @@
#lang scheme/unit
(require (rename-in "../utils/utils.ss" [infer r:infer]))
(require (rename-in "../utils/utils.rkt" [infer r:infer]))
(require syntax/kerncase
unstable/list unstable/syntax syntax/parse
mzlib/etc
scheme/match
"signatures.ss"
"tc-structs.ss"
"signatures.rkt"
"tc-structs.rkt"
;; to appease syntax-parse
"internal-forms.ss"
"internal-forms.rkt"
(rep type-rep)
(types utils convenience)
(private parse-type type-annotation type-contract)
(env type-env init-envs type-name-env type-alias-env lexical-env)
unstable/mutated-vars
(utils tc-utils)
"provide-handling.ss"
"def-binding.ss"
"provide-handling.rkt"
"def-binding.rkt"
(for-template
"internal-forms.ss"
"internal-forms.rkt"
unstable/location
mzlib/contract
scheme/base))

10
collects/typed-scheme/typecheck/typechecker.rkt
View File

@ -1,15 +1,15 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (utils unit-utils)
mzlib/trace
(only-in scheme/unit
provide-signature-elements
define-values/invoke-unit/infer link)
"signatures.ss" "tc-toplevel.ss"
"tc-if.ss" "tc-lambda-unit.ss" "tc-app.ss"
"tc-let-unit.ss" "tc-dots-unit.ss"
"tc-expr-unit.ss" "check-subforms-unit.ss")
"signatures.rkt" "tc-toplevel.rkt"
"tc-if.rkt" "tc-lambda-unit.rkt" "tc-app.rkt"
"tc-let-unit.rkt" "tc-dots-unit.rkt"
"tc-expr-unit.rkt" "check-subforms-unit.rkt")
(provide-signature-elements typechecker^ tc-expr^)

2
collects/typed-scheme/typed-scheme.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require (rename-in "utils/utils.ss" [infer r:infer]))
(require (rename-in "utils/utils.rkt" [infer r:infer]))
(require (private base-types with-types)
(for-syntax

4
collects/typed-scheme/types/abbrev.rkt
View File

@ -1,9 +1,9 @@
#lang scheme
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep object-rep filter-rep rep-utils)
"printer.ss" "utils.ss"
"printer.rkt" "utils.rkt"
(utils tc-utils)
scheme/list
scheme/match

2
collects/typed-scheme/types/comparison.rkt
View File

@ -1,4 +1,4 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep) (types utils))
(provide type-equal? tc-result-equal? type<? type-compare effects-equal?)

6
collects/typed-scheme/types/convenience.rkt
View File

@ -1,8 +1,8 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils)
"abbrev.ss" (only-in scheme/contract current-blame-format)
"abbrev.rkt" (only-in scheme/contract current-blame-format)
(types comparison printer union subtype utils)
scheme/list scheme/match scheme/promise
(for-syntax syntax/parse scheme/base)
@ -11,7 +11,7 @@
(for-template scheme/base))
(provide (all-defined-out)
(all-from-out "abbrev.ss")
(all-from-out "abbrev.rkt")
;; these should all eventually go away
make-Name make-ValuesDots make-Function
(rep-out filter-rep object-rep))

4
collects/typed-scheme/types/filter-ops.ss → collects/typed-scheme/types/filter-ops.rkt
View File

@ -1,9 +1,9 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils) (only-in (infer infer) restrict)
"abbrev.ss" (only-in scheme/contract current-blame-format [-> -->] listof)
"abbrev.rkt" (only-in scheme/contract current-blame-format [-> -->] listof)
(types comparison printer union subtype utils remove-intersect)
scheme/list scheme/match scheme/promise
(for-syntax syntax/parse scheme/base)

2
collects/typed-scheme/types/printer.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils)
scheme/match)

2
collects/typed-scheme/types/remove-intersect.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep rep-utils)
(types union subtype resolve convenience utils)
scheme/match mzlib/trace unstable/debug)

2
collects/typed-scheme/types/resolve.rkt
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep)
(env type-name-env)

2
collects/typed-scheme/types/subtype.rkt
View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "../utils/utils.ss"
(require "../utils/utils.rkt"
(rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils)
(types utils comparison resolve abbrev)

2
collects/typed-scheme/types/type-table.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require unstable/debug "../utils/utils.ss" (rep type-rep) (only-in (types abbrev utils) tc-results?) scheme/contract)
(require unstable/debug "../utils/utils.rkt" (rep type-rep) (only-in (types abbrev utils) tc-results?) scheme/contract)
(define table (make-hasheq))

2
collects/typed-scheme/types/union.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep rep-utils)
(utils tc-utils)

2
collects/typed-scheme/types/utils.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require "../utils/utils.ss")
(require "../utils/utils.rkt")
(require (rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils)

4
collects/typed-scheme/utils/require-contract.rkt
View File

@ -5,8 +5,8 @@
(for-syntax scheme/base
syntax/kerncase
syntax/parse
"../utils/tc-utils.ss"
(prefix-in tr: "../private/typed-renaming.ss")))
"../utils/tc-utils.rkt"
(prefix-in tr: "../private/typed-renaming.rkt")))
(provide require/contract define-ignored)

4
collects/typed-scheme/utils/tc-utils.rkt
View File

@ -6,8 +6,8 @@ don't depend on any other portion of the system
|#
(provide (all-defined-out))
(require "syntax-traversal.ss"
"utils.ss"
(require "syntax-traversal.rkt"
"utils.rkt"
syntax/parse (for-syntax scheme/base syntax/parse) scheme/match unstable/debug
(for-syntax unstable/syntax))

4
collects/typed-scheme/utils/utils.rkt
View File

@ -46,7 +46,7 @@ at least theoretically.
(string-join
(list "typed-scheme"
(symbol->string (syntax-e #'nm))
(string-append (symbol->string (syntax-e id)) ".ss"))
(string-append (symbol->string (syntax-e id)) ".rkt"))
"/")
id id))
id id))
@ -67,7 +67,7 @@ at least theoretically.
(string-join
(list "typed-scheme"
(symbol->string (syntax-e #'nm))
(string-append (symbol->string (syntax-e id)) ".ss"))
(string-append (symbol->string (syntax-e id)) ".rkt"))
"/")
id id))))
(syntax->list #'(id ...)))])