Record type printers for SRFI 45 promises and SRFI 41 streams

[Chris K. Jester-Young]

Hi all,

I've attached record type printers for SRFI 45 promises and SRFI 41
streams. I've tried to make promise-visit more self-documenting with
the use of keyword arguments; let me know if you think that's an
improvement!

Also as discussed with Mark H Weaver, I've currently implemented the
format for promises as #<promise => ...> for unevaluated promises, and
#<promise = ...> for evaluated ones. Hopefully this is is easy to read
and will clearly distinguish between the two types, and still look
different from core promises too.

Comments are most welcome!

Thanks,
Chris.
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/2] Add record type printer for srfi-45.
>
>
>
>
> Date: 
>
> Sun, 7 Apr 2013 12:43:17 -0400
>
>
>
>
> * module/srfi/srfi-45.scm: Add record type printer for promises.
>   (promise-visit): New helper for visiting lazy promises.
> ---
>  module/srfi/srfi-45.scm |   17 ++++++++++++++++-
>  1 files changed, 16 insertions(+), 1 deletions(-)
>
> diff --git a/module/srfi/srfi-45.scm b/module/srfi/srfi-45.scm
> index 5194770..6f7ba7e 100644
> --- a/module/srfi/srfi-45.scm
> +++ b/module/srfi/srfi-45.scm
> @@ -39,7 +39,8 @@
>               eager
>               promise?)
>    #:replace (delay force promise?)
> -  #:use-module (srfi srfi-9))
> +  #:use-module (srfi srfi-9)
> +  #:use-module (srfi srfi-9 gnu))
>  
>  (cond-expand-provide (current-module) '(srfi-45))
>  
> @@ -76,3 +77,17 @@
>  ;; (*) These two lines re-fetch and check the original promise in case
>  ;;     the first line of the let* caused it to be forced.  For an example
>  ;;     where this happens, see reentrancy test 3 below.
> +
> +(define* (promise-visit promise #:key on-eager on-lazy)
> +  (define content (promise-val promise))
> +  (case (value-tag content)
> +    ((eager) (on-eager (value-proc content)))
> +    ((lazy)  (on-lazy (value-proc content)))))
> +
> +(set-record-type-printer! promise
> +  (lambda (promise port)
> +    (promise-visit promise
> +      #:on-eager (lambda (value)
> +                   (format port "#<promise = ~s>" value))
> +      #:on-lazy  (lambda (proc)
> +                   (format port "#<promise => ~s>" proc)))))
> -- 
> 1.7.2.5
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 2/2] Add record type printer for srfi-41.
>
>
>
>
> Date: 
>
> Sun, 7 Apr 2013 12:44:18 -0400
>
>
>
>
> * module/srfi/srfi-41.scm: Add record type printer for streams.
>   (stream-promise-visit): New helper for visiting stream promises.
> ---
>  module/srfi/srfi-41.scm |   23 +++++++++++++++++++++++
>  1 files changed, 23 insertions(+), 0 deletions(-)
>
> diff --git a/module/srfi/srfi-41.scm b/module/srfi/srfi-41.scm
> index 6f73ce3..3589b35 100644
> --- a/module/srfi/srfi-41.scm
> +++ b/module/srfi/srfi-41.scm
> @@ -27,6 +27,7 @@
>    #:use-module (srfi srfi-1)
>    #:use-module (srfi srfi-8)
>    #:use-module (srfi srfi-9)
> +  #:use-module (srfi srfi-9 gnu)
>    #:use-module (srfi srfi-26)
>    #:use-module (ice-9 match)
>    #:export (stream-null stream-cons stream? stream-null? stream-pair?
> @@ -180,6 +181,28 @@
>  (define-syntax-rule (stream-lambda formals body0 body1 ...)
>    (lambda formals (stream-lazy (begin body0 body1 ...))))
>  
> +(define* (stream-promise-visit promise #:key on-eager on-lazy)
> +  (define content (stream-promise-val promise))
> +  (case (stream-value-tag content)
> +    ((eager) (on-eager (stream-value-proc content)))
> +    ((lazy)  (on-lazy (stream-value-proc content)))))
> +
> +(set-record-type-printer! stream-promise
> +  (lambda (strm port)
> +    (display "#<stream" port)
> +    (let loop ((strm strm))
> +      (stream-promise-visit strm
> +        #:on-eager (lambda (pare)
> +                     (cond ((eq? pare %stream-null)
> +                            (write-char #\> port))
> +                           (else
> +                            (write-char #\space port)
> +                            (stream-promise-visit (stream-kar pare)
> +                              #:on-eager (cut write <> port)
> +                              #:on-lazy  (lambda (_) (write-char #\? port)))
> +                            (loop (stream-kdr pare)))))
> +        #:on-lazy (lambda (_) (display " ...>" port))))))
> +
>  ;;; Derived stream functions and macros: (streams derived)
>  
>  (define-syntax-rule (define-stream (name . formal) body0 body1 ...)
> -- 
> 1.7.2.5
>
>
> --- End Message ---