From fde857e0cbb5a1099eba0f8c88d1570f59d39746 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 5 Sep 2011 00:34:05 -0400 Subject: [PATCH] Some more "typed-scheme" -> "typed-racket". --- collects/typed/file/gif.rkt | 2 +- collects/typed/file/md5.rkt | 2 +- collects/typed/file/tar.rkt | 4 ++-- collects/typed/framework/framework.rkt | 2 +- collects/typed/net/base64.rkt | 2 +- collects/typed/net/cgi.rkt | 2 +- collects/typed/net/cookie.rkt | 2 +- collects/typed/net/dns.rkt | 3 +-- collects/typed/net/ftp.rkt | 2 +- collects/typed/net/gifwrite.rkt | 2 +- collects/typed/net/head.rkt | 2 +- collects/typed/net/imap.rkt | 2 +- collects/typed/net/mime.rkt | 2 +- collects/typed/net/nntp.rkt | 2 +- collects/typed/net/pop3.rkt | 2 +- collects/typed/net/qp.rkt | 2 +- collects/typed/net/sendmail.rkt | 2 +- collects/typed/net/sendurl.rkt | 10 +++++----- collects/typed/net/smtp.rkt | 2 +- collects/typed/net/uri-codec.rkt | 2 +- collects/typed/net/url.rkt | 2 +- collects/typed/private/utils.rkt | 2 +- 22 files changed, 27 insertions(+), 28 deletions(-) diff --git a/collects/typed/file/gif.rkt b/collects/typed/file/gif.rkt index 6f96c976d8..1c18644afe 100644 --- a/collects/typed/file/gif.rkt +++ b/collects/typed/file/gif.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/file/md5.rkt b/collects/typed/file/md5.rkt index 0cab46d7ba..44ca600b78 100644 --- a/collects/typed/file/md5.rkt +++ b/collects/typed/file/md5.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require/typed file/md5 [md5 ((U Bytes Input-Port) -> Bytes)]) (provide md5) diff --git a/collects/typed/file/tar.rkt b/collects/typed/file/tar.rkt index 0497d8c9fc..4d34a624b5 100644 --- a/collects/typed/file/tar.rkt +++ b/collects/typed/file/tar.rkt @@ -1,5 +1,5 @@ -#lang typed-scheme -;; typed-scheme wrapper on file/tar +#lang typed/racket/base +;; typed-racket wrapper on file/tar ;; yc 2009/2/25 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; diff --git a/collects/typed/framework/framework.rkt b/collects/typed/framework/framework.rkt index 23f267e67b..84094c24e5 100644 --- a/collects/typed/framework/framework.rkt +++ b/collects/typed/framework/framework.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils typed/mred/mred) diff --git a/collects/typed/net/base64.rkt b/collects/typed/net/base64.rkt index 0745794516..10f4392fdb 100644 --- a/collects/typed/net/base64.rkt +++ b/collects/typed/net/base64.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/cgi.rkt b/collects/typed/net/cgi.rkt index 80c3b0de55..364a4325c3 100644 --- a/collects/typed/net/cgi.rkt +++ b/collects/typed/net/cgi.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/cookie.rkt b/collects/typed/net/cookie.rkt index 3eb8092adf..bf78fc0000 100644 --- a/collects/typed/net/cookie.rkt +++ b/collects/typed/net/cookie.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/dns.rkt b/collects/typed/net/dns.rkt index 24ef679f81..db33203cad 100644 --- a/collects/typed/net/dns.rkt +++ b/collects/typed/net/dns.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) @@ -7,4 +7,3 @@ [dns-get-name (String String -> String)] [dns-get-mail-exchanger (String String -> String )] [dns-find-nameserver (-> (Option String))]) - diff --git a/collects/typed/net/ftp.rkt b/collects/typed/net/ftp.rkt index 041befc0d5..3299ab67e8 100644 --- a/collects/typed/net/ftp.rkt +++ b/collects/typed/net/ftp.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/gifwrite.rkt b/collects/typed/net/gifwrite.rkt index cfe9167c5b..a2e550b734 100644 --- a/collects/typed/net/gifwrite.rkt +++ b/collects/typed/net/gifwrite.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/file/gif) (provide (all-from-out typed/file/gif)) diff --git a/collects/typed/net/head.rkt b/collects/typed/net/head.rkt index ec6493dc69..66c7530bee 100644 --- a/collects/typed/net/head.rkt +++ b/collects/typed/net/head.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/imap.rkt b/collects/typed/net/imap.rkt index 0e347e4082..ce2bd631dc 100644 --- a/collects/typed/net/imap.rkt +++ b/collects/typed/net/imap.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/mime.rkt b/collects/typed/net/mime.rkt index 82893b26e5..f65294e99c 100644 --- a/collects/typed/net/mime.rkt +++ b/collects/typed/net/mime.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) ;; -- basic mime structures -- diff --git a/collects/typed/net/nntp.rkt b/collects/typed/net/nntp.rkt index f2310c9350..cb540e0ac9 100644 --- a/collects/typed/net/nntp.rkt +++ b/collects/typed/net/nntp.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/pop3.rkt b/collects/typed/net/pop3.rkt index 395b3a7be7..0190ceef9e 100644 --- a/collects/typed/net/pop3.rkt +++ b/collects/typed/net/pop3.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/qp.rkt b/collects/typed/net/qp.rkt index 9d0344a2e5..814161cac7 100644 --- a/collects/typed/net/qp.rkt +++ b/collects/typed/net/qp.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/sendmail.rkt b/collects/typed/net/sendmail.rkt index 113dc250d4..958d75df1a 100644 --- a/collects/typed/net/sendmail.rkt +++ b/collects/typed/net/sendmail.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/sendurl.rkt b/collects/typed/net/sendurl.rkt index 2be923fc7b..84d90af1e7 100644 --- a/collects/typed/net/sendurl.rkt +++ b/collects/typed/net/sendurl.rkt @@ -1,8 +1,8 @@ -#lang typed-scheme +#lang typed/racket/base (require/typed net/sendurl - [send-url (String -> Void)] - [unix-browser-list (Listof Symbol)] - [browser-preference? (String -> Boolean)] - [external-browser (-> (U Symbol #f (Pair String String)))]) + [send-url (String -> Void)] + [unix-browser-list (Listof Symbol)] + [browser-preference? (String -> Boolean)] + [external-browser (-> (U Symbol #f (Pair String String)))]) (provide send-url unix-browser-list browser-preference? external-browser) diff --git a/collects/typed/net/smtp.rkt b/collects/typed/net/smtp.rkt index 78b02ff651..18791c9847 100644 --- a/collects/typed/net/smtp.rkt +++ b/collects/typed/net/smtp.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/uri-codec.rkt b/collects/typed/net/uri-codec.rkt index 2089712c26..ed89cf33ec 100644 --- a/collects/typed/net/uri-codec.rkt +++ b/collects/typed/net/uri-codec.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/net/url.rkt b/collects/typed/net/url.rkt index 20b4196e08..f435cb0f3e 100644 --- a/collects/typed/net/url.rkt +++ b/collects/typed/net/url.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (require typed/private/utils) diff --git a/collects/typed/private/utils.rkt b/collects/typed/private/utils.rkt index 5abf5a87f2..46ef552449 100644 --- a/collects/typed/private/utils.rkt +++ b/collects/typed/private/utils.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket/base (define-syntax-rule (dt nm t) (begin (define-type-alias nm t) (provide nm)))