From 2e5b4a65150afc9517d5e344aaa6abaa63751e91 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 23 Aug 2016 14:30:54 -0500
Subject: [PATCH] adjust tests for (->i () (values)) fix

---
 .../tests/racket/contract/arrow-i.rkt            | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/pkgs/racket-test/tests/racket/contract/arrow-i.rkt b/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
index 4bf4c7ebee..db0d82c246 100644
--- a/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
+++ b/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
@@ -140,10 +140,6 @@
   (contract-syntax-error-test
    '->i-stx23
    #'(->i ([f (f x) any/c]) (#:x [x any/c]) [res any/c]))
-
-  (test/spec-passed
-   '->i-stx24
-   '(->i () (values)))
   
   (test/spec-passed
    '->i1
@@ -292,6 +288,18 @@
      1
      -2
      -3))
+
+  (test/pos-blame
+   '->i30
+   '((contract (->i () (values))
+               (λ () 1)
+               'pos 'neg)))
+
+  (test/spec-passed
+   '->i31
+   '((contract (->i () (values))
+               values
+               'pos 'neg)))
   
   (test/spec-passed
    '->i-any1