From 9cdeda1e04aec86c1d8570a516215830c5f87ad6 Mon Sep 17 00:00:00 2001 From: John Clements Date: Sat, 9 Jul 2011 16:17:15 -0700 Subject: [PATCH] added purpose statement to expand-teaching-program --- collects/lang/run-teaching-program.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/lang/run-teaching-program.rkt b/collects/lang/run-teaching-program.rkt index 98f0291551..ecf77d911d 100644 --- a/collects/lang/run-teaching-program.rkt +++ b/collects/lang/run-teaching-program.rkt @@ -16,6 +16,10 @@ (symbol? boolean?) 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]) (let ([state 'init] ;; state : 'init => 'require => 'done-or-exn