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

working for v4

Browse Source 
svn: r9271
This commit is contained in:
John Clements 2008-04-11 22:46:07 +00:00
parent eacfa111d6
commit 00bba9428c
4 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/stepper/private/annotate.ss
View File

@ -1146,6 +1146,8 @@
(define (annotate/module-top-level exp)
(cond [(stepper-syntax-property exp 'stepper-skip-completely) exp]
;; for kathy's test engine:
[(syntax-property exp 'test-call) exp]
[(stepper-syntax-property exp 'stepper-define-struct-hint)
#`(begin #,exp
(#,(make-define-struct-break exp)))]

5
collects/stepper/private/macro-unwind.ss
View File

@ -4,6 +4,7 @@
mzlib/contract
"model-settings.ss"
"shared.ss"
#;(file "/Users/clements/clements/scheme-scraps/eli-debug.ss")
(for-syntax scheme/base))
(provide/contract [unwind (syntax? render-settings? . -> . syntax?)])
@ -139,7 +140,7 @@
(if define-type
(kernel:kernel-syntax-case
unwound-body #f
[(#%plain-lambda arglist lam-body ...)
[(lambda arglist lam-body ...)
(case define-type
[(shortened-proc-define)
(let ([proc-define-name
@ -243,6 +244,8 @@
(syntax-case stx (if begin)
;; the else clause disappears when it's a
;; language-inserted else clause
[(if test result)
(list (unwind-cond-clause stx #`test #`result settings))]
[(if test result else-clause)
(cons (unwind-cond-clause stx #`test #`result settings)
(loop (syntax else-clause)))]

12
collects/stepper/private/model.ss
View File

@ -66,13 +66,15 @@
boolean? ; track-inferred-names?
(or/c object? (symbols 'testing)) ;; FIXME: can do better: subclass of language% ; the language level
(procedure? . -> . void?) ; run-on-drscheme-side
boolean? ; disable-error-handling (to allow debugging)
. -> .
void?)])
; go starts a stepper instance
; see provide stmt for contract
(define (go program-expander receive-result render-settings
show-lambdas-as-lambdas? language-level run-on-drscheme-side)
show-lambdas-as-lambdas? language-level run-on-drscheme-side
disable-error-handling)
;; finished-exps:
;; (listof (list/c syntax-object? (or/c number? false?)( -> any)))
@ -104,7 +106,7 @@
;; whole be highlighted. Is either one "wrong?" equivalences between
;; reduction semantics?
;;
;; 2005-11-14: punting. just highlight the whole damn thing if there are
;; 2005-11-14: punting. just highlight the whole darn thing if there are
;; any differences. In fact, just test for eq?-ness.
#;
@ -311,10 +313,8 @@
(program-expander
(lambda ()
;; swap these to allow errors to escape (e.g., when debugging)
#;(error-display-handler err-display-handler)
(void)
)
(unless disable-error-handling
(error-display-handler err-display-handler)))
(lambda (expanded continue-thunk) ; iter
(r:reset-special-values)
(if (eof-object? expanded)

3
collects/stepper/stepper-tool.ss
View File

@ -468,7 +468,8 @@
(send language-level stepper:enable-let-lifting?))
(send language-level stepper:show-lambdas-as-lambdas?)
language-level
run-on-drscheme-side)
run-on-drscheme-side
#f)
(send s-frame show #t)
s-frame)