From c8e74de12cfc5f55c751fbc3fce3dac7166e0652 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Tue, 27 May 2014 21:56:49 -0700
Subject: [PATCH] Remove #{id : Type} annotations from unit tests.

They don't work if the code is compiled and do if it isn't, which causes
interesting test case failures.

original commit: 48de8a43c0e3978a34057beae30d676a84436c8e
---
 .../tests/typed-racket/unit-tests/typecheck-tests.rkt  | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 8455fc1b..f106e7e5 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -476,7 +476,7 @@
         [tc-e/t (tr:case-lambda [([a : Number] [b : Number]) (+ a b)]) (t:-> -Number -Number -Number)]
         [tc-e (let: ([x : Number 5]) x) -Number]
         [tc-e (let-values ([(x) 4]) (+ x 1)) -PosIndex]
-        [tc-e (let-values ([(#{x : Number} #{y : Boolean}) (values 3 #t)]) (and (= x 1) (not y)))
+        [tc-e (let-values ([(x y) (values 3 #t)]) (and (= x 1) (not y)))
               #:ret (ret -Boolean -false-filter)]
         [tc-e/t (values 3) -PosByte]
         [tc-e (values) #:ret (ret null)]
@@ -728,8 +728,8 @@
 
         [tc-err (let: ([x : Any 3])
                       (car x))]
-        [tc-err (car #{3 : Any})]
-        [tc-err (map #{3 : Any} #{12 : Any})]
+        [tc-err (car 3)]
+        [tc-err (map 3 12)]
         [tc-err (car 3)]
 
         [tc-e/t (let: ([x : Any 1])
@@ -962,7 +962,7 @@
         [tc-e/t (let ()
                   (define: (f [x : Number]) : Number
                     (define: (g [y : Number]) : Number
-                      (let*-values ([(#{z : Number} #{w : Number}) (values (g (f x)) 5)])
+                      (let*-values ([(z w) (values (g (f x)) 5)])
                         (+ z w)))
                     (g 4))
                   5)
@@ -1921,7 +1921,7 @@
               -Void]
         [tc-err
           (ann
-            ((letrec ((x (lambda (acc #{ v : Symbol}) (if v (list v) acc)))) x) null (list 'bad 'prog))
+            ((letrec ((x (lambda (acc v) (if v (list v) acc)))) x) null (list 'bad 'prog))
             (Listof Symbol))
           #:ret (ret (-lst -Symbol) -top-filter -empty-obj)]
         [tc-e (filter values empty)