From 19bb208f4f4e0d5bb9445a2acbd17e7eb03b8d31 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 29 Jun 2010 17:25:48 -0400 Subject: [PATCH] make subst structs transparent original commit: 18078400b77114880e99e1c39913f8df96a0faa2 --- collects/typed-scheme/types/substitute.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/typed-scheme/types/substitute.rkt b/collects/typed-scheme/types/substitute.rkt index 20d5659b..a2957404 100644 --- a/collects/typed-scheme/types/substitute.rkt +++ b/collects/typed-scheme/types/substitute.rkt @@ -19,11 +19,11 @@ (for/hash ([v (in-list vs)] [t (in-list ts)]) (values v (t-subst t)))) -(d-s/c subst-rhs ()) -(d-s/c (t-subst subst-rhs) ([type Type/c])) -(d-s/c (i-subst subst-rhs) ([types (listof Type/c)])) -(d-s/c (i-subst/starred subst-rhs) ([types (listof Type/c)] [starred Type/c])) -(d-s/c (i-subst/dotted subst-rhs) ([types (listof Type/c)] [dty Type/c] [dbound symbol?])) +(d-s/c subst-rhs () #:transparent) +(d-s/c (t-subst subst-rhs) ([type Type/c]) #:transparent) +(d-s/c (i-subst subst-rhs) ([types (listof Type/c)]) #:transparent) +(d-s/c (i-subst/starred subst-rhs) ([types (listof Type/c)] [starred Type/c]) #:transparent) +(d-s/c (i-subst/dotted subst-rhs) ([types (listof Type/c)] [dty Type/c] [dbound symbol?]) #:transparent) (define substitution/c (hash/c symbol? subst-rhs? #:immutable #t))