From 16305c20ff620f56df136583663a735b02f9a3a8 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 2 May 2009 01:45:50 +0000 Subject: [PATCH] more tests svn: r14685 --- collects/typed-scheme/test2.ss | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 collects/typed-scheme/test2.ss diff --git a/collects/typed-scheme/test2.ss b/collects/typed-scheme/test2.ss new file mode 100644 index 0000000000..33f552eb98 --- /dev/null +++ b/collects/typed-scheme/test2.ss @@ -0,0 +1,12 @@ +#lang typed-scheme + +(: f (Number String -> Number)) +(define (f x z) (f x z)) +(lambda: ([x : Any] [y : Any]) (values (number? y) (number? x))) +(lambda: ([x : Any] [y : Any]) (values (number? x) (number? y))) +(lambda: ([x : Any]) (values (number? x) (number? x))) +(: g (Any -> Boolean : Number)) +(define g (lambda: ([x : Any]) (number? x))) + +;(f 12 "hi") +