added purpose statement to expand-teaching-program
This commit is contained in:
parent
592f28382b
commit
9cdeda1e04
|
@ -16,6 +16,10 @@
|
||||||
(symbol? boolean?)
|
(symbol? boolean?)
|
||||||
any)])
|
any)])
|
||||||
|
|
||||||
|
;; this function expands a port providing a program and a bunch of
|
||||||
|
;; arguments describing the user environment, and returns a thunk
|
||||||
|
;; that returns the top-level expressions that make up the expanded
|
||||||
|
;; program, one on each call.
|
||||||
(define (expand-teaching-program port reader language-module teachpacks rep [module-name '#%htdp] [enable-testing? #t])
|
(define (expand-teaching-program port reader language-module teachpacks rep [module-name '#%htdp] [enable-testing? #t])
|
||||||
(let ([state 'init]
|
(let ([state 'init]
|
||||||
;; state : 'init => 'require => 'done-or-exn
|
;; state : 'init => 'require => 'done-or-exn
|
||||||
|
|
Loading…
Reference in New Issue
Block a user