suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

`sort' now infers properly -- test passes.

Browse Source 
Please merge to release.
(cherry picked from commit f70c1b213f)
This commit is contained in:
Sam Tobin-Hochstadt 2012-01-24 05:17:52 -05:00 committed by Ryan Culpepper
parent bba824e1c6
commit 9ee130dc49
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/fail/sort.rkt → collects/tests/typed-racket/succeed/sort-infer.rkt
View File

@ -1,5 +1,3 @@
#;
(exn-pred exn:fail:syntax? #rx".*Cannot infer.*Please add more type annotations.*")
#lang typed/racket #lang typed/racket
(define ss '("one" "two" "three")) ; (Listof String) (define ss '("one" "two" "three")) ; (Listof String)
(sort ss string<?) (sort ss string<?)