From 85cbafc534d5872428cce2ae297da2cc8c7f6e0d Mon Sep 17 00:00:00 2001 From: Alexis King Date: Thu, 26 Mar 2015 09:06:16 -0700 Subject: [PATCH] Fix the type of current-https-protocol in typed/net/url-connect --- typed-racket-more/typed/net/url-connect.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-more/typed/net/url-connect.rkt b/typed-racket-more/typed/net/url-connect.rkt index 3ac41273..1104849c 100644 --- a/typed-racket-more/typed/net/url-connect.rkt +++ b/typed-racket-more/typed/net/url-connect.rkt @@ -5,4 +5,4 @@ (require/typed/provide net/url-connect - [current-https-protocol (U SSL-Client-Context SSL-Protocol)]) + [current-https-protocol (Parameterof (U SSL-Client-Context SSL-Protocol))])