New tests

svn: r15856

collects/tests/typed-scheme/succeed/infer-funargs.ss

@@ -0,0 +1,13 @@
+#lang typed-scheme
+
+(define-struct: Environment
+ ((parent : (Option Environment))
+  (bindings : (HashTable Symbol Integer)))
+ #:mutable)
+
+(: make-empty-env (case-lambda [-> Environment]
+                              [Environment -> Environment]))
+(define make-empty-env
+ (case-lambda: [() (make-Environment #f (make-hasheq))]
+               [((parent : Environment)) (make-Environment parent
+(make-hasheq))]))

collects/tests/typed-scheme/succeed/inst-expected.ss

@@ -0,0 +1,7 @@
+#lang typed-scheme
+
+(: id (All (a) (a -> a)))
+(define (id x) x)
+
+(: f (String -> String))
+(define f #{id @ String})