rewrite mzlib/contract to racket/contract

racket/lib/collects/racket/contract/private/arrow.rkt

@@ -1,24 +1,5 @@
 #lang racket/base
 
-#|
-
-v4 todo:
-
-- add case-> to object-contract
-
-- test object-contract with keywords (both optional and mandatory)
-
-- change mzlib/contract to rewrite into scheme/contract (maybe?)
-
-- raise-syntax-errors
-  . multiple identical keywords syntax error, sort-keywords
-  . split-doms
-
-- note timing/size tests at the end of the file.
-
-|#
-
-
 (require "guts.rkt"
          "blame.rkt"
          "prop.rkt"

racket/lib/collects/srfi/29/localization.rkt

@@ -1,6 +1,6 @@
 (module localization mzscheme
   
-  (require mzlib/contract
+  (require racket/contract/base
            racket/file
            (only racket/runtime-path define-runtime-path)
            racket/string racket/format
@@ -10,7 +10,7 @@
                     (current-country (parameter/c symbol?))
                     (current-locale-details (parameter/c (listof symbol?)))
                     (declare-bundle! (-> (listof symbol?) (listof pair?) any))
-                    (load-bundle! (->* ((listof symbol?)) any/c any))
+                    (load-bundle! (->* ((listof symbol?)) #:rest any/c any))
                     (store-bundle! (-> (listof symbol?) any))
                     (localized-template (-> symbol? any/c any)))
   

racket/lib/collects/syntax/to-string.rkt

@@ -1,5 +1,5 @@
 (module to-string mzscheme
-  (require mzlib/contract
+  (require racket/contract/base
            syntax/stx)
   
   (require racket/list)