Check number of type errors.

collects/tests/typed-scheme/fail/ann-map-funcs.ss

@@ -0,0 +1,17 @@
+#;
+(exn-pred 3)
+#lang typed-scheme
+
+(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b)))))
+
+(define (map-with-funcs . fs)
+ (lambda as
+   (map (lambda: ([f : (a ... a -> b)])
+          (apply f as))
+        fs)))
+
+(ann (map-with-funcs + - * /) (Number Number * -> (Listof Integer)))
+
+(ann (map-with-funcs + - * /) (Number * -> (Listof Number)))
+
+(ann (map-with-funcs + - * /) (Integer * -> (Listof Number)))

collects/tests/typed-scheme/fail/apply-dots.ss

@@ -1,3 +1,5 @@
+#;
+(exn-pred 2)
 #lang typed-scheme
 
 (plambda: (a ...) ([z : String] . [w : Number *])

collects/tests/typed-scheme/main.ss

@@ -20,10 +20,12 @@
    (lambda (val)
      (and (exn? val)
           (for/and ([e args])
-                   (if (procedure? e)
+                   (cond [(procedure? e) (e val)]
-                       (e val)
+                         [(number? e)
-                       (begin
+                          (and (exn:fail:syntax? val)
-                         (regexp-match e (exn-message val)))))))
+                               (= e (length (exn:fail:syntax-exprs val))))]
+                         [(or (string? e) (regexp? e) (bytes? e))
+                          (regexp-match e (exn-message val))]))))
    args))
   
 (define (exn-pred p)

collects/tests/typed-scheme/succeed/ann-map-funcs.ss

@@ -8,4 +8,4 @@
           (apply f as))
         fs)))
 
-(ann (map-with-funcs + - * /) (Integer Integer * -> (Listof Number)))
+(ann (map-with-funcs + - * /) (Number Number * -> (Listof Number)))