suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix the type of current-https-protocol in typed/net/url-connect

Browse Source
This commit is contained in:
Alexis King 2015-03-26 09:06:16 -07:00
parent b54d8dc04a
commit 85cbafc534
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-more/typed/net/url-connect.rkt
View File

@ -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))])