From ffcc7e9f92eaa3b3591b6e8bc7858d2284e70354 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 3 Aug 2011 17:05:52 -0400
Subject: [PATCH] Improve error message for calls to 'sort' when inference
 fails.

original commit: b124d68f402ce99ddec58482be40ce279f3f4a04
---
 collects/tests/typed-scheme/fail/sort.rkt     | 5 +++++
 collects/typed-scheme/typecheck/tc-funapp.rkt | 3 +++
 2 files changed, 8 insertions(+)
 create mode 100644 collects/tests/typed-scheme/fail/sort.rkt

diff --git a/collects/tests/typed-scheme/fail/sort.rkt b/collects/tests/typed-scheme/fail/sort.rkt
new file mode 100644
index 00000000..0e61eaac
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/sort.rkt
@@ -0,0 +1,5 @@
+#;
+(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<?)
diff --git a/collects/typed-scheme/typecheck/tc-funapp.rkt b/collects/typed-scheme/typecheck/tc-funapp.rkt
index 37da1bc3..ae145ace 100644
--- a/collects/typed-scheme/typecheck/tc-funapp.rkt
+++ b/collects/typed-scheme/typecheck/tc-funapp.rkt
@@ -124,6 +124,9 @@
     ;; error type is a perfectly good fcn type
     [((tc-result1: (Error:)) _) (ret (make-Error))]
     ;; otherwise fail
+    [((tc-result1: (and f-ty (Poly: ns (Function: arrs)))) _)
+     (tc-error/expr #:return (ret (Un))
+                    "Cannot infer type instantiation for type ~a. Please add more type annotations" f-ty)]
     [((tc-result1: f-ty) _)
      (tc-error/expr #:return (ret (Un))
                     "Cannot apply expression of type ~a, since it is not a function type" f-ty)]))