From d7670250d47f9673d8abcc6c5401ca3c0032151c Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Sat, 25 Jun 2016 21:51:15 -0400 Subject: [PATCH] add (and/c vector? any-wrap/c) -like contracts for VectorTop, HashTableTop, etc. going from typed to untyped --- typed-racket-lib/typed-racket/private/type-contract.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/private/type-contract.rkt b/typed-racket-lib/typed-racket/private/type-contract.rkt index ef9742bd..f9ebf5a0 100644 --- a/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -346,7 +346,7 @@ (define (only-untyped sc) (if (from-typed? typed-side) - (fail #:reason "contract generation not supported for this type") + (and/sc sc any-wrap/sc) sc)) (cached-match sc-cache type typed-side ;; Applications of implicit recursive type aliases