Some random ".ss" -> ".rkt"s
This commit is contained in:
Eli Barzilay
parent
9c352f5704
commit
939af28a4c
|
|
@ -1,11 +1,11 @@
|
|||
(module a-signature mzscheme
|
||||
(require-for-syntax "private/unit-compiletime.ss"
|
||||
"private/unit-syntax.ss")
|
||||
(require "unit.ss")
|
||||
(require-for-syntax "private/unit-compiletime.rkt"
|
||||
"private/unit-syntax.rkt")
|
||||
(require "unit.rkt")
|
||||
|
||||
(provide (rename module-begin #%module-begin)
|
||||
(all-from-except mzscheme #%module-begin)
|
||||
(all-from "unit.ss"))
|
||||
(all-from "unit.rkt"))
|
||||
|
||||
(define-for-syntax (make-name s)
|
||||
(string->symbol
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
(module a-unit mzscheme
|
||||
(require "unit.ss")
|
||||
(require "unit.rkt")
|
||||
(require-for-syntax syntax/kerncase)
|
||||
|
||||
(provide (rename module-begin #%module-begin)
|
||||
(all-from-except mzscheme #%module-begin)
|
||||
(all-from "unit.ss"))
|
||||
(all-from "unit.rkt"))
|
||||
|
||||
(define-for-syntax (make-name s)
|
||||
(string->symbol
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
|
||||
(module class100 mzscheme
|
||||
(require "class.ss")
|
||||
(require "class.rkt")
|
||||
|
||||
(require-for-syntax syntax/stx)
|
||||
|
||||
|
|
|
|||
|
|
@ -5,23 +5,23 @@
|
|||
;; provide arrow contracts from our local copy
|
||||
;;
|
||||
|
||||
(require "private/contract-arrow.ss")
|
||||
(provide (all-from-out "private/contract-arrow.ss"))
|
||||
(require "private/contract-arrow.rkt")
|
||||
(provide (all-from-out "private/contract-arrow.rkt"))
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;;
|
||||
;; provide contracts for objects
|
||||
;;
|
||||
(require "private/contract-object.ss")
|
||||
(provide (all-from-out "private/contract-object.ss"))
|
||||
(require "private/contract-object.rkt")
|
||||
(provide (all-from-out "private/contract-object.rkt"))
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;;
|
||||
;; old-style define/contract
|
||||
;;
|
||||
|
||||
(require "private/contract-define.ss")
|
||||
(provide (all-from-out "private/contract-define.ss"))
|
||||
(require "private/contract-define.rkt")
|
||||
(provide (all-from-out "private/contract-define.rkt"))
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;;
|
||||
|
|
@ -38,7 +38,7 @@
|
|||
racket/contract/private/basic-opters)
|
||||
|
||||
(provide
|
||||
opt/c define-opt/c ;(all-from "private/contract-opt.ss")
|
||||
opt/c define-opt/c ;(all-from "private/contract-opt.rkt")
|
||||
(except-out (all-from-out racket/contract/private/ds)
|
||||
lazy-depth-to-look)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
|
||||
(module date mzscheme
|
||||
|
||||
(require "list.ss")
|
||||
(require "list.rkt")
|
||||
|
||||
(provide date->string
|
||||
date-display-format
|
||||
|
|
|
|||
|
|
@ -12,7 +12,7 @@
|
|||
|
||||
(provide deflate gzip-through-ports gzip)
|
||||
|
||||
(require "unit200.ss")
|
||||
(require "unit200.rkt")
|
||||
|
||||
(define (vector-ref* v i)
|
||||
(let ([r (vector-ref v i)])
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
|
||||
(module defmacro mzscheme
|
||||
(require-for-syntax syntax/stx
|
||||
"private/dmhelp.ss")
|
||||
"private/dmhelp.rkt")
|
||||
|
||||
(provide define-macro
|
||||
defmacro)
|
||||
|
|
|
|||
|
|
@ -10,13 +10,13 @@
|
|||
build-vector
|
||||
compose)
|
||||
(rename scheme/base base-else else)
|
||||
"kw.ss")
|
||||
"kw.rkt")
|
||||
|
||||
(require-for-syntax syntax/kerncase
|
||||
syntax/stx
|
||||
syntax/name
|
||||
setup/main-collects
|
||||
"private/stxset.ss")
|
||||
"private/stxset.rkt")
|
||||
|
||||
(provide boolean=? symbol=?
|
||||
identity
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
|
||||
(module include mzscheme
|
||||
(require-for-syntax syntax/stx
|
||||
"private/increader.ss"
|
||||
"cm-accomplice.ss")
|
||||
"private/increader.rkt"
|
||||
"cm-accomplice.rkt")
|
||||
(require mzlib/etc)
|
||||
|
||||
(define-for-syntax (resolve-path-spec fn loc stx build-path-stx)
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
|
||||
(module pconvert mzscheme
|
||||
|
||||
(require (only "list.ss" sort)
|
||||
(require (only "list.rkt" sort)
|
||||
scheme/mpair
|
||||
"pconvert-prop.ss"
|
||||
"class.ss")
|
||||
"pconvert-prop.rkt"
|
||||
"class.rkt")
|
||||
|
||||
(provide show-sharing
|
||||
constructor-style-printing
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
(require (for-syntax racket/base)
|
||||
racket/contract/base
|
||||
mzlib/list
|
||||
"private/port.ss")
|
||||
"private/port.rkt")
|
||||
|
||||
(define (input-port-with-progress-evts? ip)
|
||||
(and (input-port? ip)
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
(require (for-syntax scheme/base))
|
||||
(require (for-template scheme/base)
|
||||
(for-template racket/contract/private/guts)
|
||||
(for-template "contract-arr-checks.ss"))
|
||||
(for-template "contract-arr-checks.rkt"))
|
||||
|
||||
(provide make-/proc ->/h ->*/h ->d/h ->d*/h ->r/h
|
||||
->pp/h ->pp-rest/h
|
||||
|
|
|
|||
|
|
@ -2,11 +2,11 @@
|
|||
|
||||
(require racket/contract/private/guts
|
||||
racket/contract/private/opt
|
||||
"contract-arr-checks.ss")
|
||||
"contract-arr-checks.rkt")
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax racket/contract/private/opt-guts)
|
||||
(for-syntax racket/contract/private/helpers)
|
||||
(for-syntax "contract-arr-obj-helpers.ss")
|
||||
(for-syntax "contract-arr-obj-helpers.rkt")
|
||||
(for-syntax syntax/stx)
|
||||
(for-syntax syntax/name))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,12 +1,12 @@
|
|||
#lang racket/base
|
||||
(require "contract-arrow.ss"
|
||||
(require "contract-arrow.rkt"
|
||||
racket/contract/private/guts
|
||||
racket/private/class-internal
|
||||
"contract-arr-checks.ss")
|
||||
"contract-arr-checks.rkt")
|
||||
|
||||
(require (for-syntax racket/base
|
||||
racket/contract/private/helpers
|
||||
"contract-arr-obj-helpers.ss"))
|
||||
"contract-arr-obj-helpers.rkt"))
|
||||
|
||||
(provide mixin-contract
|
||||
make-mixin-contract
|
||||
|
|
@ -26,7 +26,7 @@
|
|||
(define (obj->pp-rest/proc stx) (make-/proc #t ->pp-rest/h stx))
|
||||
(define (obj-case->/proc stx) (make-case->/proc #t stx stx select/h))
|
||||
|
||||
;; WARNING: select/h is copied from contract-arrow.ss. I'm not sure how
|
||||
;; WARNING: select/h is copied from contract-arrow.rkt. I'm not sure how
|
||||
;; I can avoid this duplication -robby
|
||||
(define (select/h stx err-name ctxt-stx)
|
||||
(syntax-case stx (-> ->* ->d ->d* ->r ->pp ->pp-rest)
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
|
||||
;; Used by ../shared.ss, and also collects/lang/private/teach.ss
|
||||
;; Used by ../shared.rkt, and also collects/lang/private/teach.rkt
|
||||
;; Besides the usual things, this code expects `undefined' and
|
||||
;; `the-cons' to be bound, and it expects `struct-declaration-info?'
|
||||
;; from the "struct.ss" library of the "syntax" collection.
|
||||
;; from the "struct.rkt" library of the "syntax" collection.
|
||||
|
||||
(syntax-case stx ()
|
||||
[(_ ([name expr] ...) body1 body ...)
|
||||
|
|
|
|||
|
|
@ -1,15 +1,15 @@
|
|||
|
||||
(module sigutil mzscheme
|
||||
;; Used by unitsig.ss
|
||||
;; Used by unitsig.rkt
|
||||
;; (needs an overhaul, too)
|
||||
|
||||
(require syntax/stx
|
||||
syntax/struct
|
||||
syntax/context)
|
||||
|
||||
(require "sigmatch.ss")
|
||||
(require "../unit200.ss")
|
||||
(require "../list.ss")
|
||||
(require "sigmatch.rkt")
|
||||
(require "../unit200.rkt")
|
||||
(require "../list.rkt")
|
||||
|
||||
(define-struct signature (name ; sym
|
||||
src ; sym
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
|
||||
(provide finish-syntax-set)
|
||||
|
||||
;; Used in the expansion of `define-syntax-set' from "etc.ss"
|
||||
;; Used in the expansion of `define-syntax-set' from "etc.rkt"
|
||||
(define-syntax (finish-syntax-set stx)
|
||||
(syntax-case stx ()
|
||||
[(_ stx)
|
||||
|
|
|
|||
|
|
@ -2,11 +2,11 @@
|
|||
|
||||
(require scheme/list
|
||||
syntax/boundmap
|
||||
"unit-syntax.ss")
|
||||
"unit-syntax.rkt")
|
||||
(require (for-syntax scheme/base))
|
||||
(require (for-template scheme/base
|
||||
"unit-keywords.ss"
|
||||
"unit-runtime.ss"))
|
||||
"unit-keywords.rkt"
|
||||
"unit-runtime.rkt"))
|
||||
(require racket/private/define-struct)
|
||||
|
||||
(provide (struct-out var-info)
|
||||
|
|
|
|||
|
|
@ -1,9 +1,9 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require syntax/parse
|
||||
"unit-compiletime.ss"
|
||||
"unit-keywords.ss"
|
||||
(for-template "unit-keywords.ss"))
|
||||
"unit-compiletime.rkt"
|
||||
"unit-keywords.rkt"
|
||||
(for-template "unit-keywords.rkt"))
|
||||
|
||||
(provide import-clause/contract export-clause/contract dep-clause
|
||||
import-clause/c export-clause/c)
|
||||
|
|
|
|||
|
|
@ -4,13 +4,13 @@
|
|||
syntax/boundmap
|
||||
syntax/name
|
||||
syntax/parse
|
||||
"unit-compiletime.ss"
|
||||
"unit-contract-syntax.ss"
|
||||
"unit-syntax.ss")
|
||||
"unit-compiletime.rkt"
|
||||
"unit-contract-syntax.rkt"
|
||||
"unit-syntax.rkt")
|
||||
(for-meta 2 racket/base)
|
||||
racket/contract/base
|
||||
"unit-utils.ss"
|
||||
"unit-runtime.ss")
|
||||
"unit-utils.rkt"
|
||||
"unit-runtime.rkt")
|
||||
|
||||
(provide (for-syntax unit/c/core) unit/c)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require (for-syntax "unit-syntax.ss" scheme/base))
|
||||
(require (for-syntax "unit-syntax.rkt" scheme/base))
|
||||
(provide define-syntax/err-param
|
||||
undefined (rename-out [make-a-unit make-unit]) unit-import-sigs unit-export-sigs unit-go unit? unit-deps
|
||||
check-unit check-no-imports check-sigs check-deps check-helper)
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require syntax/stx)
|
||||
(require (for-template "unit-keywords.ss"))
|
||||
(require (for-template "unit-keywords.rkt"))
|
||||
|
||||
(provide (all-defined-out))
|
||||
|
||||
|
|
|
|||
|
|
@ -2,8 +2,8 @@
|
|||
|
||||
(require (for-syntax scheme/base
|
||||
syntax/boundmap
|
||||
"unit-compiletime.ss"
|
||||
"unit-syntax.ss")
|
||||
"unit-compiletime.rkt"
|
||||
"unit-syntax.rkt")
|
||||
racket/contract/base)
|
||||
|
||||
(provide (for-syntax build-key
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
|
||||
(module restart scheme/base
|
||||
(require "cmdline.ss")
|
||||
(require "cmdline.rkt")
|
||||
|
||||
(provide restart-mzscheme)
|
||||
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
setup/dirs
|
||||
scheme/list
|
||||
scheme/string
|
||||
(only-in "private/runtime-path-table.ss" table)
|
||||
(only-in "private/runtime-path-table.rkt" table)
|
||||
(for-syntax scheme/base))
|
||||
|
||||
(provide define-runtime-path
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/awk
|
||||
scheme/contract))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/class100
|
||||
mzlib/class
|
||||
scheme/contract))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/cmdline))
|
||||
|
||||
@(define-syntax-rule (intro id)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/cml))
|
||||
|
||||
@mzlib[#:mode title cml]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
scribble/eval
|
||||
(for-label mzlib/compat))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/compile
|
||||
compiler/compiler
|
||||
compiler/cm))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
scribble/struct
|
||||
(for-label mzlib/contract))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/defmacro
|
||||
(only-in scheme/base syntax->datum datum->syntax)))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
scribble/eval
|
||||
(for-label mzlib/etc
|
||||
scheme/bool
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/file
|
||||
scheme/contract))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/for))
|
||||
|
||||
@mzlib[#:mode title for]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/include))
|
||||
|
||||
@mzlib[#:mode title include]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/integer-set))
|
||||
|
||||
@mzlib[#:mode title integer-set]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
scribble/eval
|
||||
(for-label mzlib/kw
|
||||
mzlib/etc))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/list))
|
||||
|
||||
@mzlib[#:mode title list]
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
"match-grammar.ss"
|
||||
@(require "common.rkt"
|
||||
"match-grammar.rkt"
|
||||
(for-label mzlib/match))
|
||||
|
||||
@(begin
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/math))
|
||||
|
||||
@mzlib[#:mode title math]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss")
|
||||
@(require "common.rkt")
|
||||
|
||||
@title{@bold{MzLib}: Legacy Racket Libraries}
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/os))
|
||||
|
||||
@mzlib[#:mode title os]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/pconvert
|
||||
mzlib/pconvert-prop))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/pconvert
|
||||
mzlib/pconvert-prop
|
||||
scheme/pretty))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/plt-match))
|
||||
|
||||
@mzlib[#:mode title plt-match]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/port))
|
||||
|
||||
@mzlib[#:mode title port]
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/pregexp
|
||||
(only-in scheme/base regexp-quote)))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/restart
|
||||
mzlib/cmdline))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/sandbox
|
||||
(only-in scheme/sandbox make-module-evaluator)))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/sendevent))
|
||||
|
||||
@(begin
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/serialize))
|
||||
|
||||
@(begin
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/string
|
||||
scheme/contract
|
||||
(only-in scheme/base
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
scribble/eval
|
||||
(for-label mzlib/struct
|
||||
scheme/contract
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/thread
|
||||
scheme/contract
|
||||
scheme/tcp))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/trace
|
||||
scheme/pretty))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss")
|
||||
@(require "common.rkt")
|
||||
|
||||
@mzlib[#:mode title traceld]
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss")
|
||||
@(require "common.rkt")
|
||||
|
||||
@mzlib[#:mode title transcr]
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
#lang scribble/doc
|
||||
@(require "common.ss"
|
||||
@(require "common.rkt"
|
||||
(for-label mzlib/unit))
|
||||
|
||||
@(begin
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
define-struct/properties
|
||||
make-->vector)
|
||||
(require-for-syntax syntax/struct
|
||||
"list.ss"
|
||||
"list.rkt"
|
||||
syntax/stx)
|
||||
|
||||
;; ------------------------------------------------------------
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
|
||||
(module thread mzscheme
|
||||
(require "kw.ss" "contract.ss")
|
||||
(require "kw.rkt" "contract.rkt")
|
||||
|
||||
(provide run-server
|
||||
consumer-thread)
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require "private/unit-syntax.ss"
|
||||
"private/unit-compiletime.ss")
|
||||
(require "private/unit-syntax.rkt"
|
||||
"private/unit-compiletime.rkt")
|
||||
|
||||
(provide unit-static-signatures
|
||||
signature-members)
|
||||
|
|
|
|||
|
|
@ -11,18 +11,18 @@
|
|||
scheme/struct-info
|
||||
syntax/stx
|
||||
unstable/location
|
||||
"private/unit-contract-syntax.ss"
|
||||
"private/unit-compiletime.ss"
|
||||
"private/unit-syntax.ss"))
|
||||
"private/unit-contract-syntax.rkt"
|
||||
"private/unit-compiletime.rkt"
|
||||
"private/unit-syntax.rkt"))
|
||||
|
||||
(require mzlib/etc
|
||||
racket/contract/base
|
||||
scheme/stxparam
|
||||
unstable/location
|
||||
"private/unit-contract.ss"
|
||||
"private/unit-keywords.ss"
|
||||
"private/unit-runtime.ss"
|
||||
"private/unit-utils.ss"
|
||||
"private/unit-contract.rkt"
|
||||
"private/unit-keywords.rkt"
|
||||
"private/unit-runtime.rkt"
|
||||
"private/unit-utils.rkt"
|
||||
(rename-in racket/private/struct [struct struct~]))
|
||||
|
||||
(provide define-signature-form struct struct/ctc open
|
||||
|
|
|
|||
|
|
@ -6,8 +6,8 @@
|
|||
syntax/stx
|
||||
syntax/name
|
||||
syntax/context
|
||||
"list.ss"
|
||||
"private/unitidmap.ss")
|
||||
"list.rkt"
|
||||
"private/unitidmap.rkt")
|
||||
|
||||
;; ----------------------------------------------------------------------
|
||||
;; Structures and helpers
|
||||
|
|
|
|||
|
|
@ -5,11 +5,11 @@
|
|||
;; compile-time information). It's in dire need of an overhaul.
|
||||
|
||||
(module unitsig200 mzscheme
|
||||
(require "unit200.ss")
|
||||
(require "private/sigmatch.ss")
|
||||
(require "unit200.rkt")
|
||||
(require "private/sigmatch.rkt")
|
||||
|
||||
(require-for-syntax "private/sigutil.ss")
|
||||
(require-for-syntax "private/sigmatch.ss")
|
||||
(require-for-syntax "private/sigutil.rkt")
|
||||
(require-for-syntax "private/sigmatch.rkt")
|
||||
(require-for-syntax syntax/kerncase)
|
||||
|
||||
(define-struct signed-unit (unit imports exports))
|
||||
|
|
|
|||
|
|
@ -3,32 +3,31 @@
|
|||
;; A stripped down version of scheme/contract for use in
|
||||
;; the PLT code base where appropriate.
|
||||
|
||||
(require "private/arrow.ss"
|
||||
"private/base.ss"
|
||||
"private/misc.ss"
|
||||
"private/provide.ss"
|
||||
"private/guts.ss"
|
||||
"private/legacy.ss"
|
||||
"private/ds.ss"
|
||||
"private/opt.ss")
|
||||
(require "private/arrow.rkt"
|
||||
"private/base.rkt"
|
||||
"private/misc.rkt"
|
||||
"private/provide.rkt"
|
||||
"private/guts.rkt"
|
||||
"private/legacy.rkt"
|
||||
"private/ds.rkt"
|
||||
"private/opt.rkt")
|
||||
|
||||
(provide
|
||||
opt/c define-opt/c ;(all-from-out "private/opt.ss")
|
||||
(except-out (all-from-out "private/ds.ss")
|
||||
(provide
|
||||
opt/c define-opt/c ;(all-from-out "private/opt.rkt")
|
||||
(except-out (all-from-out "private/ds.rkt")
|
||||
lazy-depth-to-look)
|
||||
|
||||
(except-out (all-from-out "private/arrow.ss")
|
||||
|
||||
(except-out (all-from-out "private/arrow.rkt")
|
||||
making-a-method
|
||||
procedure-accepts-and-more?
|
||||
check-procedure
|
||||
check-procedure/more)
|
||||
(except-out (all-from-out "private/misc.ss")
|
||||
(except-out (all-from-out "private/misc.rkt")
|
||||
check-between/c
|
||||
check-unary-between/c)
|
||||
(all-from-out "private/provide.ss")
|
||||
(all-from-out "private/base.ss")
|
||||
(all-from-out "private/legacy.ss")
|
||||
(except-out (all-from-out "private/guts.ss")
|
||||
(all-from-out "private/provide.rkt")
|
||||
(all-from-out "private/base.rkt")
|
||||
(all-from-out "private/legacy.rkt")
|
||||
(except-out (all-from-out "private/guts.rkt")
|
||||
check-flat-contract
|
||||
check-flat-named-contract))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "private/guts.ss")
|
||||
(require "private/guts.rkt")
|
||||
|
||||
(provide new-∃/c
|
||||
∃?)
|
||||
|
|
|
|||
|
|
@ -18,12 +18,12 @@ v4 todo:
|
|||
|
||||
|#
|
||||
|
||||
(require "guts.ss"
|
||||
"opt.ss"
|
||||
(require "guts.rkt"
|
||||
"opt.rkt"
|
||||
racket/stxparam)
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax "opt-guts.ss")
|
||||
(for-syntax "helpers.ss")
|
||||
(for-syntax "opt-guts.rkt")
|
||||
(for-syntax "helpers.rkt")
|
||||
(for-syntax syntax/stx)
|
||||
(for-syntax syntax/name))
|
||||
|
||||
|
|
|
|||
|
|
@ -17,8 +17,8 @@ improve method arity mismatch contract violation error messages?
|
|||
racket/stxparam
|
||||
unstable/srcloc
|
||||
unstable/location
|
||||
"guts.ss"
|
||||
"blame.ss")
|
||||
"guts.rkt"
|
||||
"blame.rkt")
|
||||
|
||||
(define-syntax-parameter current-contract-region
|
||||
(λ (stx) #'(quote-module-path)))
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "guts.ss"
|
||||
"opt.ss"
|
||||
"base.ss")
|
||||
(require "guts.rkt"
|
||||
"opt.rkt"
|
||||
"base.rkt")
|
||||
(require (for-syntax racket/base
|
||||
"opt-guts.ss"))
|
||||
"opt-guts.rkt"))
|
||||
|
||||
;;
|
||||
;; opt/pred helper
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
build-enforcer-clauses
|
||||
generate-arglists)
|
||||
|
||||
(require "opt-guts.ss")
|
||||
(require "opt-guts.rkt")
|
||||
(require (for-template racket/base))
|
||||
|
||||
#|
|
||||
|
|
|
|||
|
|
@ -17,12 +17,12 @@ it around flattened out.
|
|||
|
||||
|#
|
||||
|
||||
(require "guts.ss"
|
||||
"opt.ss")
|
||||
(require "guts.rkt"
|
||||
"opt.rkt")
|
||||
(require (for-syntax scheme/base)
|
||||
(for-syntax "ds-helpers.ss")
|
||||
(for-syntax "helpers.ss")
|
||||
(for-syntax "opt-guts.ss"))
|
||||
(for-syntax "ds-helpers.rkt")
|
||||
(for-syntax "helpers.rkt")
|
||||
(for-syntax "opt-guts.rkt"))
|
||||
|
||||
(provide define-contract-struct
|
||||
|
||||
|
|
|
|||
|
|
@ -1,15 +1,15 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "helpers.ss"
|
||||
"blame.ss"
|
||||
"prop.ss"
|
||||
(require "helpers.rkt"
|
||||
"blame.rkt"
|
||||
"prop.rkt"
|
||||
racket/pretty)
|
||||
|
||||
(require (for-syntax racket/base
|
||||
"helpers.ss"))
|
||||
"helpers.rkt"))
|
||||
|
||||
(provide (except-out (all-from-out "blame.ss") make-blame)
|
||||
(all-from-out "prop.ss")
|
||||
(provide (except-out (all-from-out "blame.rkt") make-blame)
|
||||
(all-from-out "prop.rkt")
|
||||
|
||||
coerce-contract
|
||||
coerce-contracts
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "guts.ss" "blame.ss" unstable/srcloc)
|
||||
(require "guts.rkt" "blame.rkt" unstable/srcloc)
|
||||
|
||||
(provide make-proj-contract
|
||||
raise-contract-error
|
||||
|
|
|
|||
|
|
@ -2,11 +2,11 @@
|
|||
|
||||
(require (for-syntax racket/base
|
||||
racket/struct-info
|
||||
"helpers.ss"
|
||||
"opt-guts.ss")
|
||||
"helpers.rkt"
|
||||
"opt-guts.rkt")
|
||||
racket/promise
|
||||
"opt.ss"
|
||||
"guts.ss")
|
||||
"opt.rkt"
|
||||
"guts.rkt")
|
||||
|
||||
(provide flat-rec-contract
|
||||
flat-murec-contract
|
||||
|
|
@ -1089,7 +1089,7 @@
|
|||
#:first-order promise?))))
|
||||
|
||||
#|
|
||||
as with copy-struct in struct.ss, this first begin0
|
||||
as with copy-struct in struct.rkt, this first begin0
|
||||
expansion "declares" that struct/c is an expression.
|
||||
It prevents further expansion until the internal definition
|
||||
context is sorted out.
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require "arrow.ss"
|
||||
"guts.ss"
|
||||
(require "arrow.rkt"
|
||||
"guts.rkt"
|
||||
racket/private/class-internal
|
||||
scheme/stxparam)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
(require syntax/private/boundmap ;; needs to be the private one, since the public one has contracts
|
||||
(for-template racket/base)
|
||||
(for-template "guts.ss")
|
||||
(for-template "guts.rkt")
|
||||
(for-syntax racket/base))
|
||||
|
||||
(provide get-opter reg-opter! opter
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
#lang racket/base
|
||||
(require "guts.ss"
|
||||
(require "guts.rkt"
|
||||
racket/stxparam)
|
||||
(require (for-syntax racket/base)
|
||||
(for-syntax "opt-guts.ss")
|
||||
(for-syntax "opt-guts.rkt")
|
||||
(for-syntax racket/stxparam))
|
||||
|
||||
(provide opt/c define-opt/c define/opter opt-stronger-vars-ref
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket/base
|
||||
|
||||
(require "blame.ss")
|
||||
(require "blame.rkt")
|
||||
|
||||
(provide prop:contract
|
||||
contract-struct?
|
||||
|
|
|
|||
|
|
@ -6,11 +6,11 @@
|
|||
(require (for-syntax racket/base
|
||||
racket/list
|
||||
racket/struct-info
|
||||
(prefix-in a: "helpers.ss"))
|
||||
"arrow.ss"
|
||||
"base.ss"
|
||||
(prefix-in a: "helpers.rkt"))
|
||||
"arrow.rkt"
|
||||
"base.rkt"
|
||||
racket/contract/exists
|
||||
"guts.ss"
|
||||
"guts.rkt"
|
||||
unstable/location
|
||||
unstable/srcloc)
|
||||
|
||||
|
|
@ -586,7 +586,7 @@
|
|||
(let ([m (regexp-match #rx"^(.*)[?]$" (format "~a" (syntax-e stx)))])
|
||||
(cond
|
||||
[m (cadr m)]
|
||||
[else (raise-syntax-error 'contract-base.ss
|
||||
[else (raise-syntax-error 'contract-base.rkt
|
||||
"unable to cope with a struct supertype whose predicate doesn't end with `?'"
|
||||
orig-stx)]))))
|
||||
|
||||
|
|
|
|||
|
|
@ -11,13 +11,13 @@
|
|||
syntax/kerncase
|
||||
syntax/parse
|
||||
unstable/syntax
|
||||
(prefix-in a: "private/helpers.ss"))
|
||||
(prefix-in a: "private/helpers.rkt"))
|
||||
racket/splicing
|
||||
racket/stxparam
|
||||
unstable/location
|
||||
"private/arrow.ss"
|
||||
"private/base.ss"
|
||||
"private/guts.ss")
|
||||
"private/arrow.rkt"
|
||||
"private/base.rkt"
|
||||
"private/guts.rkt")
|
||||
|
||||
;; These are useful for all below.
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
(module language-info "private/pre-base.ss"
|
||||
(module language-info "private/pre-base.rkt"
|
||||
|
||||
(provide get-info)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require (for-syntax scheme/base)
|
||||
"private/local.ss")
|
||||
"private/local.rkt")
|
||||
(provide local)
|
||||
|
||||
(define-syntax (local stx)
|
||||
|
|
|
|||
|
|
@ -1,11 +1,11 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require (for-template scheme/base "runtime.ss" scheme/stxparam)
|
||||
(require (for-template scheme/base "runtime.rkt" scheme/stxparam)
|
||||
syntax/boundmap
|
||||
syntax/stx
|
||||
"patterns.ss"
|
||||
"split-rows.ss"
|
||||
"reorder.ss"
|
||||
"patterns.rkt"
|
||||
"split-rows.rkt"
|
||||
"reorder.rkt"
|
||||
scheme/struct-info
|
||||
scheme/stxparam
|
||||
scheme/nest
|
||||
|
|
|
|||
|
|
@ -4,10 +4,10 @@
|
|||
unstable/syntax
|
||||
unstable/sequence
|
||||
syntax/parse
|
||||
"parse.ss"
|
||||
"parse-helper.ss"
|
||||
"patterns.ss"
|
||||
"gen-match.ss"))
|
||||
"parse.rkt"
|
||||
"parse-helper.rkt"
|
||||
"patterns.rkt"
|
||||
"gen-match.rkt"))
|
||||
|
||||
(provide define-forms)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require "patterns.ss" "compiler.ss"
|
||||
(require "patterns.rkt" "compiler.rkt"
|
||||
syntax/stx scheme/nest syntax/parse
|
||||
(for-template scheme/base (only-in "runtime.ss" match:error)))
|
||||
(for-template scheme/base (only-in "runtime.rkt" match:error)))
|
||||
|
||||
(provide go go/one)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,14 +1,14 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (only-in "runtime.ss"
|
||||
(require (only-in "runtime.rkt"
|
||||
match-equality-test
|
||||
exn:misc:match?)
|
||||
(only-in "match-expander.ss"
|
||||
(only-in "match-expander.rkt"
|
||||
define-match-expander)
|
||||
"define-forms.ss"
|
||||
(for-syntax "parse-legacy.ss"
|
||||
"gen-match.ss"
|
||||
(only-in "patterns.ss" match-...-nesting)))
|
||||
"define-forms.rkt"
|
||||
(for-syntax "parse-legacy.rkt"
|
||||
"gen-match.rkt"
|
||||
(only-in "patterns.rkt" match-...-nesting)))
|
||||
|
||||
(provide (for-syntax match-...-nesting)
|
||||
match-equality-test
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require (for-syntax scheme/base
|
||||
"patterns.ss"))
|
||||
"patterns.rkt"))
|
||||
|
||||
(provide define-match-expander)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,15 +1,15 @@
|
|||
#lang racket/base
|
||||
|
||||
(require (only-in "runtime.ss"
|
||||
(require (only-in "runtime.rkt"
|
||||
match-equality-test
|
||||
exn:misc:match?)
|
||||
(only-in "match-expander.ss"
|
||||
(only-in "match-expander.rkt"
|
||||
define-match-expander)
|
||||
"define-forms.ss"
|
||||
"struct.ss"
|
||||
(for-syntax "parse.ss"
|
||||
"gen-match.ss"
|
||||
(only-in "patterns.ss" match-...-nesting)))
|
||||
"define-forms.rkt"
|
||||
"struct.rkt"
|
||||
(for-syntax "parse.rkt"
|
||||
"gen-match.rkt"
|
||||
(only-in "patterns.rkt" match-...-nesting)))
|
||||
|
||||
(provide (for-syntax match-...-nesting)
|
||||
match-equality-test
|
||||
|
|
|
|||
|
|
@ -4,8 +4,8 @@
|
|||
syntax/boundmap
|
||||
syntax/stx
|
||||
scheme/struct-info
|
||||
"patterns.ss"
|
||||
"compiler.ss")
|
||||
"patterns.rkt"
|
||||
"compiler.rkt")
|
||||
|
||||
(provide ddk? parse-literal all-vars pattern-var? match:syntax-err
|
||||
match-expander-transform trans-match parse-struct
|
||||
|
|
|
|||
|
|
@ -4,10 +4,10 @@
|
|||
syntax/boundmap
|
||||
syntax/stx
|
||||
racket/struct-info
|
||||
"patterns.ss"
|
||||
"compiler.ss"
|
||||
"parse-helper.ss"
|
||||
"parse-quasi.ss")
|
||||
"patterns.rkt"
|
||||
"compiler.rkt"
|
||||
"parse-helper.rkt"
|
||||
"parse-quasi.rkt")
|
||||
|
||||
(provide parse/legacy/cert)
|
||||
|
||||
|
|
|
|||
|
|
@ -4,9 +4,9 @@
|
|||
syntax/boundmap
|
||||
syntax/stx
|
||||
scheme/struct-info
|
||||
"patterns.ss"
|
||||
"compiler.ss"
|
||||
"parse-helper.ss")
|
||||
"patterns.rkt"
|
||||
"compiler.rkt"
|
||||
"parse-helper.rkt")
|
||||
|
||||
(provide parse-quasi)
|
||||
|
||||
|
|
|
|||
|
|
@ -3,11 +3,11 @@
|
|||
(require syntax/boundmap
|
||||
syntax/stx
|
||||
scheme/struct-info
|
||||
"patterns.ss"
|
||||
"compiler.ss"
|
||||
"parse-helper.ss"
|
||||
"parse-quasi.ss"
|
||||
(for-template (only-in "runtime.ss" matchable?)
|
||||
"patterns.rkt"
|
||||
"compiler.rkt"
|
||||
"parse-helper.rkt"
|
||||
"parse-quasi.rkt"
|
||||
(for-template (only-in "runtime.rkt" matchable?)
|
||||
scheme/base))
|
||||
|
||||
(provide parse/cert)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require "patterns.ss"
|
||||
(require "patterns.rkt"
|
||||
scheme/list
|
||||
(for-syntax scheme/base))
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require "patterns.ss")
|
||||
(require "patterns.rkt")
|
||||
|
||||
(provide split-rows)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#lang racket/base
|
||||
|
||||
(require mzlib/port
|
||||
"private/portlines.ss")
|
||||
"private/portlines.rkt")
|
||||
(provide (except-out (all-from-out mzlib/port)
|
||||
strip-shell-command-start)
|
||||
port->string
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
|
||||
(module old-ds '#%kernel
|
||||
(#%require "define-struct.ss"
|
||||
(#%require "define-struct.rkt"
|
||||
(for-syntax '#%kernel
|
||||
"stxcase-scheme.ss"))
|
||||
"stxcase-scheme.rkt"))
|
||||
|
||||
(#%provide define-struct let-struct datum)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
(module serialize racket/base
|
||||
(require syntax/modcollapse
|
||||
"serialize-structs.ss")
|
||||
"serialize-structs.rkt")
|
||||
|
||||
;; This module implements the core serializer. The syntactic
|
||||
;; `define-serializable-struct' layer is implemented separately
|
||||
|
|
|
|||
|
|
@ -1,11 +1,11 @@
|
|||
(module provide-transform '#%kernel
|
||||
(#%require "private/stxcase-scheme.ss"
|
||||
"private/qqstx.ss"
|
||||
"private/stx.ss"
|
||||
"private/define-struct.ss"
|
||||
"private/more-scheme.ss"
|
||||
"private/small-scheme.ss"
|
||||
"private/define.ss")
|
||||
(#%require "private/stxcase-scheme.rkt"
|
||||
"private/qqstx.rkt"
|
||||
"private/stx.rkt"
|
||||
"private/define-struct.rkt"
|
||||
"private/more-scheme.rkt"
|
||||
"private/small-scheme.rkt"
|
||||
"private/define.rkt")
|
||||
|
||||
(#%provide expand-export syntax-local-provide-certifier
|
||||
make-provide-transformer prop:provide-transformer provide-transformer?
|
||||
|
|
|
|||
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user