From cc3a70f0d2351f7f53dc5889ada75662973d7ac7 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 24 Jan 2012 05:17:52 -0500
Subject: [PATCH] `sort' now infers properly -- test passes.

Please merge to release.

original commit: f70c1b213ff5861630a5d10a3d38ee3a4cea3156
---
 .../typed-racket/{fail/sort.rkt => succeed/sort-infer.rkt}      | 2 --
 1 file changed, 2 deletions(-)
 rename collects/tests/typed-racket/{fail/sort.rkt => succeed/sort-infer.rkt} (51%)

diff --git a/collects/tests/typed-racket/fail/sort.rkt b/collects/tests/typed-racket/succeed/sort-infer.rkt
similarity index 51%
rename from collects/tests/typed-racket/fail/sort.rkt
rename to collects/tests/typed-racket/succeed/sort-infer.rkt
index 0e61eaac..c53e3c82 100644
--- a/collects/tests/typed-racket/fail/sort.rkt
+++ b/collects/tests/typed-racket/succeed/sort-infer.rkt
@@ -1,5 +1,3 @@
-#;
-(exn-pred exn:fail:syntax? #rx".*Cannot infer.*Please add more type annotations.*")
 #lang typed/racket
 (define ss '("one" "two" "three")) ; (Listof String)
 (sort ss string<?)