`sort' now infers properly -- test passes.

Please merge to release. original commit: f70c1b213ff5861630a5d10a3d38ee3a4cea3156
2012-01-24 05:17:52 -05:00 · 2012-01-24 05:17:52 -05:00 · cc3a70f0d2
commit cc3a70f0d2
parent 4a8c1ed5d2
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<?)