Tests for all Typed Racket languages, and add missing ones.

collects/tests/typed-racket/succeed/standard-features-base.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket/base
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket/base/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt

@@ -0,0 +1,7 @@
+#lang typed/scheme/base/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt

@@ -0,0 +1,7 @@
+#lang typed/scheme/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt

@@ -0,0 +1,7 @@
+#lang typed-scheme/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-no-check.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket/no-check
+
+(: f (Integer -> Any))
+(define (f x) (add1 ""))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt

@@ -0,0 +1,7 @@
+#lang typed/scheme/base
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-scheme.rkt

@@ -0,0 +1,7 @@
+#lang typed/scheme
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features-ts.rkt

@@ -0,0 +1,7 @@
+#lang typed-scheme
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/tests/typed-racket/succeed/standard-features.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket
+
+(: f (Integer -> Any))
+(define (f x) (add1 x))
+
+(lambda (#{x : String}) (string-append " " x))
+

collects/typed/scheme/base/no-check.rkt

@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed-scheme/no-check (subtract-in typed/scheme/base typed-scheme/no-check))
+(provide (all-from-out typed/scheme/base typed-scheme/no-check))

collects/typed/scheme/base/no-check/lang/reader.rkt

@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/scheme/base/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-racket/typed-reader))

collects/typed/scheme/no-check.rkt

@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed-scheme/no-check (subtract-in typed/scheme typed-scheme/no-check))
+(provide (all-from-out typed/scheme typed-scheme/no-check))

collects/typed/scheme/no-check/lang/reader.rkt

@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/scheme/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-racket/typed-reader))