From 2ad93c7da514183caebbe313054625c71c427ef3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Mar 2009 20:27:46 +0000 Subject: [PATCH] new tests for struct providing svn: r14033 --- collects/tests/typed-scheme/fail/struct-provide.ss | 11 +++++++++++ collects/tests/typed-scheme/succeed/rts-prov.ss | 14 ++++++++++++++ 2 files changed, 25 insertions(+) create mode 100644 collects/tests/typed-scheme/fail/struct-provide.ss create mode 100644 collects/tests/typed-scheme/succeed/rts-prov.ss diff --git a/collects/tests/typed-scheme/fail/struct-provide.ss b/collects/tests/typed-scheme/fail/struct-provide.ss new file mode 100644 index 0000000000..2e4f65b727 --- /dev/null +++ b/collects/tests/typed-scheme/fail/struct-provide.ss @@ -0,0 +1,11 @@ +#; +(exn-pred exn:fail:syntax? #rx".*typed module.*") +#lang scheme/load + +(module m typed-scheme + (define-struct: q ()) + (provide (all-defined-out))) + +(module n scheme + (require 'm) + q) diff --git a/collects/tests/typed-scheme/succeed/rts-prov.ss b/collects/tests/typed-scheme/succeed/rts-prov.ss new file mode 100644 index 0000000000..a900b54e28 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/rts-prov.ss @@ -0,0 +1,14 @@ +#lang scheme/load + +(module l scheme + (define-struct q ()) + (provide (all-defined-out))) + +(module m typed-scheme + (require-typed-struct q () 'l) + (provide (all-defined-out))) + +(module n typed-scheme + (require 'm) + (: f q) + (define f (make-q)))