Redo some of the ".ss" -> ".rkt" conversion that were undone in the last push.
This commit is contained in:
parent
9706920055
commit
0ee3aef9cb
|
@ -1,10 +1,10 @@
|
||||||
(module htdp-advanced scheme/base
|
(module htdp-advanced scheme/base
|
||||||
(require "private/teach.ss"
|
(require "private/teach.rkt"
|
||||||
"private/teach-module-begin.ss"
|
"private/teach-module-begin.rkt"
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
mzlib/list
|
mzlib/list
|
||||||
mzlib/pretty
|
mzlib/pretty
|
||||||
syntax/docprovide
|
syntax/docprovide
|
||||||
scheme/promise
|
scheme/promise
|
||||||
test-engine/scheme-tests
|
test-engine/scheme-tests
|
||||||
"posn.rkt")
|
"posn.rkt")
|
||||||
|
|
|
@ -6,8 +6,8 @@
|
||||||
test-engine/scheme-tests)
|
test-engine/scheme-tests)
|
||||||
|
|
||||||
;; Implements the forms:
|
;; Implements the forms:
|
||||||
(require "private/teach.ss"
|
(require "private/teach.rkt"
|
||||||
"private/teach-module-begin.ss")
|
"private/teach-module-begin.rkt")
|
||||||
|
|
||||||
;; syntax:
|
;; syntax:
|
||||||
(provide (rename-out
|
(provide (rename-out
|
||||||
|
|
|
@ -4,15 +4,15 @@
|
||||||
|
|
||||||
(module htdp-beginner scheme/base
|
(module htdp-beginner scheme/base
|
||||||
(require mzlib/etc
|
(require mzlib/etc
|
||||||
mzlib/list
|
mzlib/list
|
||||||
syntax/docprovide
|
syntax/docprovide
|
||||||
"private/rewrite-error-message.rkt"
|
"private/rewrite-error-message.rkt"
|
||||||
(for-syntax "private/rewrite-error-message.rkt")
|
(for-syntax "private/rewrite-error-message.rkt")
|
||||||
(for-syntax scheme/base))
|
(for-syntax scheme/base))
|
||||||
|
|
||||||
;; Implements the forms:
|
;; Implements the forms:
|
||||||
(require "private/teach.ss"
|
(require "private/teach.rkt"
|
||||||
"private/teach-module-begin.ss"
|
"private/teach-module-begin.rkt"
|
||||||
test-engine/scheme-tests)
|
test-engine/scheme-tests)
|
||||||
|
|
||||||
;; syntax:
|
;; syntax:
|
||||||
|
@ -55,7 +55,7 @@
|
||||||
; check-property for-all ==> expect expect-within expect-member-of expect-range
|
; check-property for-all ==> expect expect-within expect-member-of expect-range
|
||||||
)
|
)
|
||||||
|
|
||||||
(require (for-syntax "private/firstorder.ss"))
|
(require (for-syntax "private/firstorder.rkt"))
|
||||||
|
|
||||||
|
|
||||||
(define-syntax (in-rator-position-only stx)
|
(define-syntax (in-rator-position-only stx)
|
||||||
|
|
|
@ -1,11 +1,11 @@
|
||||||
(module htdp-intermediate scheme/base
|
(module htdp-intermediate scheme/base
|
||||||
|
|
||||||
(require "private/teach.ss"
|
(require "private/teach.rkt"
|
||||||
"private/teachprims.ss"
|
"private/teachprims.rkt"
|
||||||
"private/teach-module-begin.ss"
|
"private/teach-module-begin.rkt"
|
||||||
mzlib/etc
|
mzlib/etc
|
||||||
mzlib/list
|
mzlib/list
|
||||||
syntax/docprovide
|
syntax/docprovide
|
||||||
test-engine/scheme-tests
|
test-engine/scheme-tests
|
||||||
(for-syntax scheme/base))
|
(for-syntax scheme/base))
|
||||||
|
|
||||||
|
|
|
@ -23,7 +23,7 @@
|
||||||
|
|
||||||
;; this module is shared between the drscheme's namespace (so loaded here)
|
;; this module is shared between the drscheme's namespace (so loaded here)
|
||||||
;; and the user's namespace in the teaching languages
|
;; and the user's namespace in the teaching languages
|
||||||
"private/set-result.ss"
|
"private/set-result.rkt"
|
||||||
"private/rewrite-error-message.rkt"
|
"private/rewrite-error-message.rkt"
|
||||||
|
|
||||||
"private/continuation-mark-key.rkt"
|
"private/continuation-mark-key.rkt"
|
||||||
|
|
|
@ -2,9 +2,9 @@
|
||||||
(require mzlib/etc mzlib/list mzlib/math syntax/docprovide)
|
(require mzlib/etc mzlib/list mzlib/math syntax/docprovide)
|
||||||
|
|
||||||
;; Implements the procedures:
|
;; Implements the procedures:
|
||||||
(require "teachprims.ss"
|
(require "teachprims.rkt"
|
||||||
"../posn.ss"
|
"../posn.rkt"
|
||||||
"../imageeq.ss")
|
"../imageeq.rkt")
|
||||||
|
|
||||||
;; procedures with documentation:
|
;; procedures with documentation:
|
||||||
(provide-and-document
|
(provide-and-document
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
(require mzlib/etc
|
(require mzlib/etc
|
||||||
mzlib/list
|
mzlib/list
|
||||||
(for-syntax "firstorder.ss"
|
(for-syntax "firstorder.rkt"
|
||||||
scheme/base))
|
scheme/base))
|
||||||
|
|
||||||
(provide rewrite-contract-error-message
|
(provide rewrite-contract-error-message
|
||||||
|
@ -22,7 +22,6 @@
|
||||||
(define (exn-needs-rewriting? exn)
|
(define (exn-needs-rewriting? exn)
|
||||||
(exn:fail:contract? exn))
|
(exn:fail:contract? exn))
|
||||||
|
|
||||||
|
|
||||||
(define (ensure-number n-or-str)
|
(define (ensure-number n-or-str)
|
||||||
(if (string? n-or-str) (string->number n-or-str) n-or-str))
|
(if (string? n-or-str) (string->number n-or-str) n-or-str))
|
||||||
|
|
||||||
|
|
|
@ -56,18 +56,18 @@
|
||||||
|
|
||||||
(require "rewrite-error-message.rkt")
|
(require "rewrite-error-message.rkt")
|
||||||
|
|
||||||
(require-for-syntax "teachhelp.ss"
|
(require-for-syntax "teachhelp.rkt"
|
||||||
"rewrite-error-message.rkt"
|
"rewrite-error-message.rkt"
|
||||||
"teach-shared.ss"
|
"teach-shared.rkt"
|
||||||
"rewrite-error-message.rkt"
|
"rewrite-error-message.rkt"
|
||||||
syntax/kerncase
|
syntax/kerncase
|
||||||
syntax/stx
|
syntax/stx
|
||||||
syntax/struct
|
syntax/struct
|
||||||
syntax/context
|
syntax/context
|
||||||
mzlib/include
|
mzlib/include
|
||||||
scheme/list
|
scheme/list
|
||||||
(rename racket/base racket:define-struct define-struct)
|
(rename racket/base racket:define-struct define-struct)
|
||||||
(only racket/base syntax->datum datum->syntax)
|
(only racket/base syntax->datum datum->syntax)
|
||||||
(rename racket/base kw-app #%app)
|
(rename racket/base kw-app #%app)
|
||||||
racket/struct-info
|
racket/struct-info
|
||||||
stepper/private/shared
|
stepper/private/shared
|
||||||
|
|
|
@ -1,12 +1,12 @@
|
||||||
(module teachhelp mzscheme
|
(module teachhelp mzscheme
|
||||||
(require "firstorder.ss"
|
(require "firstorder.rkt"
|
||||||
"rewrite-error-message.rkt"
|
"rewrite-error-message.rkt"
|
||||||
stepper/private/shared)
|
stepper/private/shared)
|
||||||
|
|
||||||
(require-for-syntax stepper/private/shared)
|
(require-for-syntax stepper/private/shared)
|
||||||
|
|
||||||
(provide make-undefined-check
|
(provide make-undefined-check
|
||||||
make-first-order-function)
|
make-first-order-function)
|
||||||
|
|
||||||
(define (make-undefined-check check-proc tmp-id)
|
(define (make-undefined-check check-proc tmp-id)
|
||||||
(let ([set!-stx (datum->syntax-object check-proc 'set!)])
|
(let ([set!-stx (datum->syntax-object check-proc 'set!)])
|
||||||
|
|
|
@ -317,5 +317,4 @@ Like @racket[when], but the @racket[body-expression] is evaluated when the
|
||||||
|
|
||||||
@section[#:tag "advanced-pre-defined"]{Pre-Defined Functions}
|
@section[#:tag "advanced-pre-defined"]{Pre-Defined Functions}
|
||||||
|
|
||||||
@prim-op-defns['(lib "htdp-advanced.ss" "lang") #'here '()]
|
@prim-op-defns['(lib "htdp-advanced.rkt" "lang") #'here '()]
|
||||||
|
|
||||||
|
|
|
@ -136,5 +136,4 @@ also be written with @racket[unquote-splicing].}
|
||||||
|
|
||||||
@section[#:tag "beginner-abbr-pre-defined"]{Pre-defined Functions}
|
@section[#:tag "beginner-abbr-pre-defined"]{Pre-defined Functions}
|
||||||
|
|
||||||
@prim-op-defns['(lib "htdp-beginner-abbr.ss" "lang") #'here '()]
|
@prim-op-defns['(lib "htdp-beginner-abbr.rkt" "lang") #'here '()]
|
||||||
|
|
||||||
|
|
|
@ -113,5 +113,4 @@ the function.}
|
||||||
|
|
||||||
@section[#:tag "intm-w-lambda-pre-defined"]{Pre-defined Functions}
|
@section[#:tag "intm-w-lambda-pre-defined"]{Pre-defined Functions}
|
||||||
|
|
||||||
@prim-op-defns['(lib "htdp-intermediate-lambda.ss" "lang") #'here '()]
|
@prim-op-defns['(lib "htdp-intermediate-lambda.rkt" "lang") #'here '()]
|
||||||
|
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#reader scribble/reader
|
#reader scribble/reader
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "common.ss"
|
(require "common.rkt"
|
||||||
scribble/decode
|
scribble/decode
|
||||||
scribble/struct
|
scribble/struct
|
||||||
scribble/racket
|
scribble/racket
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
#reader scribble/reader
|
#reader scribble/reader
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require "common.ss"
|
(require "common.rkt"
|
||||||
scribble/decode)
|
scribble/decode)
|
||||||
|
|
||||||
(provide prim-nonterms
|
(provide prim-nonterms
|
||||||
|
@ -18,8 +18,8 @@
|
||||||
form ...
|
form ...
|
||||||
[test-case @#,racket[(check-expect expression expression)]
|
[test-case @#,racket[(check-expect expression expression)]
|
||||||
@#,racket[(check-within expression expression expression)]
|
@#,racket[(check-within expression expression expression)]
|
||||||
@#,racket[(check-member-of expression expression (... ...))]
|
@#,racket[(check-member-of expression expression (... ...))]
|
||||||
@#,racket[(check-range expression expression expression)]
|
@#,racket[(check-range expression expression expression)]
|
||||||
@#,racket[(check-error expression expression)]
|
@#,racket[(check-error expression expression)]
|
||||||
@#,racket[(check-error expression)]]
|
@#,racket[(check-error expression)]]
|
||||||
(...
|
(...
|
||||||
|
|
Loading…
Reference in New Issue
Block a user