From f82fee857c90104226bf8c6416dfa9a9ab811ceb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 4 Sep 2011 12:58:13 -0400 Subject: [PATCH] Tests for all Typed Racket languages, and add missing ones. original commit: c0b4743b407f6ddf09a7c7bf78b7b66f6c311d81 --- .../tests/typed-racket/succeed/standard-features-base.rkt | 7 +++++++ .../succeed/standard-features-no-check-base.rkt | 7 +++++++ .../succeed/standard-features-no-check-scheme-base.rkt | 7 +++++++ .../succeed/standard-features-no-check-scheme.rkt | 7 +++++++ .../succeed/standard-features-no-check-ts.rkt | 7 +++++++ .../typed-racket/succeed/standard-features-no-check.rkt | 7 +++++++ .../succeed/standard-features-scheme-base.rkt | 7 +++++++ .../typed-racket/succeed/standard-features-scheme.rkt | 7 +++++++ .../tests/typed-racket/succeed/standard-features-ts.rkt | 7 +++++++ collects/tests/typed-racket/succeed/standard-features.rkt | 7 +++++++ collects/typed/scheme/base/no-check/lang/reader.rkt | 8 ++++++++ collects/typed/scheme/no-check/lang/reader.rkt | 8 ++++++++ 12 files changed, 86 insertions(+) create mode 100644 collects/tests/typed-racket/succeed/standard-features-base.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-no-check.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-scheme.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features-ts.rkt create mode 100644 collects/tests/typed-racket/succeed/standard-features.rkt create mode 100644 collects/typed/scheme/base/no-check/lang/reader.rkt create mode 100644 collects/typed/scheme/no-check/lang/reader.rkt diff --git a/collects/tests/typed-racket/succeed/standard-features-base.rkt b/collects/tests/typed-racket/succeed/standard-features-base.rkt new file mode 100644 index 00000000..f3e6d4ce --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-base.rkt new file mode 100644 index 00000000..8323187a --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme-base.rkt new file mode 100644 index 00000000..2c95d8cc --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-scheme.rkt new file mode 100644 index 00000000..d94b0ffb --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check-ts.rkt new file mode 100644 index 00000000..5c13b257 --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-no-check.rkt b/collects/tests/typed-racket/succeed/standard-features-no-check.rkt new file mode 100644 index 00000000..df409d2c --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt b/collects/tests/typed-racket/succeed/standard-features-scheme-base.rkt new file mode 100644 index 00000000..498f1dad --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-scheme.rkt b/collects/tests/typed-racket/succeed/standard-features-scheme.rkt new file mode 100644 index 00000000..f6f3ff2d --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features-ts.rkt b/collects/tests/typed-racket/succeed/standard-features-ts.rkt new file mode 100644 index 00000000..00782c87 --- /dev/null +++ b/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)) + diff --git a/collects/tests/typed-racket/succeed/standard-features.rkt b/collects/tests/typed-racket/succeed/standard-features.rkt new file mode 100644 index 00000000..d99f5b89 --- /dev/null +++ b/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)) + diff --git a/collects/typed/scheme/base/no-check/lang/reader.rkt b/collects/typed/scheme/base/no-check/lang/reader.rkt new file mode 100644 index 00000000..579a3f8f --- /dev/null +++ b/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)) diff --git a/collects/typed/scheme/no-check/lang/reader.rkt b/collects/typed/scheme/no-check/lang/reader.rkt new file mode 100644 index 00000000..1084e935 --- /dev/null +++ b/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))