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

Some more "typed-scheme" -> "typed-racket".

Browse Source
This commit is contained in:
Eli Barzilay 2011-09-05 00:34:05 -04:00
parent 746aea0024
commit fde857e0cb
22 changed files with 27 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed/file/gif.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/file/md5.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require/typed file/md5 (require/typed file/md5
[md5 ((U Bytes Input-Port) -> Bytes)]) [md5 ((U Bytes Input-Port) -> Bytes)])
(provide md5) (provide md5)

4
collects/typed/file/tar.rkt
View File

@ -1,5 +1,5 @@
#lang typed-scheme #lang typed/racket/base
;; typed-scheme wrapper on file/tar ;; typed-racket wrapper on file/tar
;; yc 2009/2/25 ;; yc 2009/2/25
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

2
collects/typed/framework/framework.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils typed/mred/mred) (require typed/private/utils typed/mred/mred)

2
collects/typed/net/base64.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/cgi.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/cookie.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

3
collects/typed/net/dns.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)
@ -7,4 +7,3 @@
[dns-get-name (String String -> String)] [dns-get-name (String String -> String)]
[dns-get-mail-exchanger (String String -> String )] [dns-get-mail-exchanger (String String -> String )]
[dns-find-nameserver (-> (Option String))]) [dns-find-nameserver (-> (Option String))])

2
collects/typed/net/ftp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/gifwrite.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/file/gif) (require typed/file/gif)
(provide (all-from-out typed/file/gif)) (provide (all-from-out typed/file/gif))

2
collects/typed/net/head.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/imap.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/mime.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)
;; -- basic mime structures -- ;; -- basic mime structures --

2
collects/typed/net/nntp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/pop3.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/qp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/sendmail.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

10
collects/typed/net/sendurl.rkt
View File

@ -1,8 +1,8 @@
#lang typed-scheme #lang typed/racket/base
(require/typed net/sendurl (require/typed net/sendurl
[send-url (String -> Void)] [send-url (String -> Void)]
[unix-browser-list (Listof Symbol)] [unix-browser-list (Listof Symbol)]
[browser-preference? (String -> Boolean)] [browser-preference? (String -> Boolean)]
[external-browser (-> (U Symbol #f (Pair String String)))]) [external-browser (-> (U Symbol #f (Pair String String)))])
(provide send-url unix-browser-list browser-preference? external-browser) (provide send-url unix-browser-list browser-preference? external-browser)

2
collects/typed/net/smtp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/uri-codec.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/net/url.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(require typed/private/utils) (require typed/private/utils)

2
collects/typed/private/utils.rkt
View File

@ -1,4 +1,4 @@
#lang typed-scheme #lang typed/racket/base
(define-syntax-rule (dt nm t) (define-syntax-rule (dt nm t)
(begin (define-type-alias nm t) (provide nm))) (begin (define-type-alias nm t) (provide nm)))