typed-racket

Typed Racket

Go to file

Jordan Johnson 4499e617ec Lifted types & main openssl lib to separate files. Noticed that typed wrappers for some other libs (e.g., db) would use the types but not necessarily the functions, so it seems logical to separate the types. Also, after I built Racket on my Mac, it failed to find openssl/main.rkt named as it was — signaled an error that indicated it was looking in <my git repo>/pkgs/htdp-pkgs/htdp-lib/typed/openssl.rkt — so I lifted openssl/main.rkt out to openssl.rkt original commit: 44460d383d09a7a085610b32ef17a60b4fd2041d	2014-05-25 22:51:43 -04:00
pkgs/typed-racket-pkgs	Lifted types & main openssl lib to separate files.	2014-05-25 22:51:43 -04:00

Jordan Johnson 4499e617ec Lifted types & main openssl lib to separate files.

Noticed that typed wrappers for some other libs (e.g., db) would use
the types but not necessarily the functions, so it seems logical to
separate the types.

Also, after I built Racket on my Mac, it failed to find
openssl/main.rkt named as it was — signaled an error that indicated it
was looking in <my git repo>/pkgs/htdp-pkgs/htdp-lib/typed/openssl.rkt
— so I lifted openssl/main.rkt out to openssl.rkt

original commit: 44460d383d09a7a085610b32ef17a60b4fd2041d

2014-05-25 22:51:43 -04:00

pkgs/typed-racket-pkgs

Lifted types & main openssl lib to separate files.

2014-05-25 22:51:43 -04:00