From 2f6213c56fcac82514e41f0605f61ad263ccbc7e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 19 Jul 2012 16:15:55 -0400 Subject: [PATCH] Allow guards for impersonatable struct type properties original commit: e14c5d61e95b867a95c820adec6c5b9e5f1ff9dc --- collects/typed-racket/base-env/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 3da407c3..71839841 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -2093,7 +2093,8 @@ [make-struct-type-property (->opt Sym [(Un (one-of/c #f 'can-impersonate) (-> Univ (-lst Univ))) - (-lst (-pair -Struct-Type-Property (-> Univ Univ)))] + (-lst (-pair -Struct-Type-Property (-> Univ Univ))) + Univ] (-values (list -Struct-Type-Property (-> Univ B) (-> Univ Univ))))] [struct-type-property? (make-pred-ty -Struct-Type-Property)]