From 510c80b70077f09d0d5d54c5ba566abaeb59316e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 18 Aug 2010 16:34:43 -0400 Subject: [PATCH] Better printing for environments. --- collects/typed-scheme/env/type-env-structs.rkt | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/env/type-env-structs.rkt b/collects/typed-scheme/env/type-env-structs.rkt index 1d9047b9e0..ccedb246e3 100644 --- a/collects/typed-scheme/env/type-env-structs.rkt +++ b/collects/typed-scheme/env/type-env-structs.rkt @@ -20,8 +20,16 @@ ;; eq? has the type of equal?, and l is an alist (with conses!) ;; props is a list of known propositions -(r:d-s/c env ([l (and/c (not/c dict-mutable?) dict?)]) #:transparent) -(r:d-s/c (prop-env env) ([props (listof Filter/c)]) #:transparent) +(r:d-s/c env ([l (and/c (not/c dict-mutable?) dict?)]) + #:transparent + #:property prop:custom-write + (lambda (e prt mode) + (fprintf prt "(env ~a)" (dict-map (env-l e) list)))) +(r:d-s/c (prop-env env) ([props (listof Filter/c)]) + #:transparent + #:property prop:custom-write + (lambda (e prt mode) + (fprintf prt "(env ~a ~a)" (dict-map (env-l e) list) (prop-env-props e)))) (define (mk-env orig dict) (match orig