PR 9442

svn: r10603

collects/drscheme/private/main.ss

@@ -180,7 +180,7 @@
 
 (preferences:set-default 
  'drscheme:keybindings-window-size
- (cons 200 400)
+ (cons 400 600)
  (λ (x) (and (pair? x)
              (number? (car x))
              (number? (cdr x)))))

collects/scheme/private/contract-arrow.ss

@@ -55,9 +55,13 @@ v4 todo:
                 (let ([p-app-x (proj-x pos-blame neg-blame src-info orig-str)] ...)
                   (λ (val)
                     (if (procedure? val)
+                        (make-keyword-procedure
+                         (λ (kwds kwd-vals . args)
+                           (let-values ([(res-x ...) (keyword-apply val kwds kwd-vals args)])
+                             (values (p-app-x res-x) ...)))
                          (λ args
                            (let-values ([(res-x ...) (apply val args)])
-                            (values (p-app-x res-x) ...)))
+                             (values (p-app-x res-x) ...))))
                         (raise-contract-error val
                                               src-info
                                               pos-blame

collects/tests/mzscheme/contract-test.ss

@@ -1914,6 +1914,19 @@
      10 +)
    55)
   
+  (test/spec-passed/result
+   'unconstrained-domain->6
+   ((contract (unconstrained-domain-> any/c)
+              (λ (#:key k) k)
+              'pos
+              'neg)
+    #:key 1)
+   1)
+  
+  (test/pos-blame
+   'unconstrained-domain->7
+   '((contract (unconstrained-domain-> number?) (λ (#:x x) x) 'pos 'neg) #:x #f))
+  
 ;                              
 ;                              
 ;