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

update typed/openssl protocol type

Browse Source 
original commit: 96cefe88c4485d1242ae361522b59371709fbc3d
This commit is contained in:
Ryan Culpepper 2014-10-31 12:21:12 -04:00
parent b50ecd0aca
commit 9bf47d500e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt
View File

@ -12,7 +12,7 @@
)
(define-type SSL-Protocol
(U 'sslv2-or-v3 'sslv2 'sslv3 'tls))
(U 'auto 'sslv2-or-v3 'sslv2 'sslv3 'tls 'tls11 'tls12))
(require/opaque-type SSL-Client-Context ssl-client-context? openssl)