`sort' now infers properly -- test passes.

Please merge to release.
2012-01-24 05:17:52 -05:00 · 2012-01-24 05:17:52 -05:00 · f70c1b213f
commit f70c1b213f
parent 622a947bc4
1 changed files with 0 additions and 2 deletions
--- a/collects/tests/typed-racket/succeed/sort-infer.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<?)