diff --git a/collects/tests/typed-scheme/run b/collects/tests/typed-scheme/run new file mode 100755 index 0000000000..32e09720a4 --- /dev/null +++ b/collects/tests/typed-scheme/run @@ -0,0 +1,2 @@ +#!/bin/bash +mred -e '(begin (require "main.ss") (go))' diff --git a/collects/tests/typed-scheme/succeed/match.ss b/collects/tests/typed-scheme/succeed/match.ss new file mode 100644 index 0000000000..741027590b --- /dev/null +++ b/collects/tests/typed-scheme/succeed/match.ss @@ -0,0 +1,7 @@ +#lang typed-scheme + +(require scheme/match) + +(match 1 + [2 3] + [x 4]) \ No newline at end of file diff --git a/collects/tests/typed-scheme/succeed/string-const.ss b/collects/tests/typed-scheme/succeed/string-const.ss new file mode 100644 index 0000000000..39354bc72a --- /dev/null +++ b/collects/tests/typed-scheme/succeed/string-const.ss @@ -0,0 +1,5 @@ +#lang typed-scheme + +(require string-constants/string-constant) + +(string-constant cancel) \ No newline at end of file