always use write
svn: r14072
This commit is contained in:
parent
b8a005e35c
commit
67c68ef05a
|
@ -211,18 +211,13 @@
|
||||||
;; DeinProgramm addition, copied from language.ss
|
;; DeinProgramm addition, copied from language.ss
|
||||||
(run-in-user-thread
|
(run-in-user-thread
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(global-port-print-handler
|
(global-port-print-handler
|
||||||
(lambda (value port)
|
(lambda (value port)
|
||||||
(let ([converted-value (simple-module-based-language-convert-value value settings)])
|
(parameterize ([pretty-print-columns 'infinity])
|
||||||
(setup-printing-parameters
|
(pretty-print value port)))))))
|
||||||
(lambda ()
|
|
||||||
(parameterize ([pretty-print-columns 'infinity])
|
|
||||||
(pretty-print converted-value port)))
|
|
||||||
settings
|
|
||||||
'infinity)))))))
|
|
||||||
|
|
||||||
;; set-printing-parameters : settings ( -> TST) -> TST
|
;; set-printing-parameters : settings ( -> TST) -> TST
|
||||||
;; is implicitly exposed to the stepper. watch out! -- john
|
;; is implicitly exposed to the stepper. watch out! -- john
|
||||||
(define/public (set-printing-parameters settings thunk)
|
(define/public (set-printing-parameters settings thunk)
|
||||||
(parameterize ([pc:booleans-as-true/false #f]
|
(parameterize ([pc:booleans-as-true/false #f]
|
||||||
[pc:abbreviate-cons-as-list (get-abbreviate-cons-as-list)]
|
[pc:abbreviate-cons-as-list (get-abbreviate-cons-as-list)]
|
||||||
|
@ -240,16 +235,12 @@
|
||||||
(thunk)))
|
(thunk)))
|
||||||
|
|
||||||
(define/override (render-value/format value settings port width)
|
(define/override (render-value/format value settings port width)
|
||||||
(set-printing-parameters
|
(parameterize ([pretty-print-columns width])
|
||||||
settings
|
(pretty-print value port)))
|
||||||
(lambda ()
|
|
||||||
(simple-module-based-language-render-value/format value settings port width))))
|
|
||||||
|
|
||||||
(define/override (render-value value settings port)
|
(define/override (render-value value settings port)
|
||||||
(set-printing-parameters
|
(parameterize ([pretty-print-columns 'infinity])
|
||||||
settings
|
(pretty-print value port)))
|
||||||
(lambda ()
|
|
||||||
(simple-module-based-language-render-value/format value settings port 'infinity))))
|
|
||||||
|
|
||||||
(super-new)))
|
(super-new)))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user