suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

new tests for struct providing

Browse Source 
svn: r14033
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-10 20:27:46 +00:00
parent 39fc578bf0
commit 2ad93c7da5
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/tests/typed-scheme/fail/struct-provide.ss Normal file
View File

@ -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)

14
collects/tests/typed-scheme/succeed/rts-prov.ss Normal file
View File

@ -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)))