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

added a test case for a bug that turned out to be in mzscheme, but just to make sure it don't come back ...

Browse Source 
svn: r8648
This commit is contained in:
Robby Findler 2008-02-13 18:26:29 +00:00
parent ff9938a87f
commit 1acf42513e
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/tests/mzscheme/contract-test.ss
View File

@ -5472,6 +5472,24 @@ so that propagation occurs.
(eval '(require 'provide/contract26)) (eval '(require 'provide/contract26))
(eval '(pc26-s-a (make-pc26-s 1)))) (eval '(pc26-s-a (make-pc26-s 1))))
1) 1)
(test/spec-passed/result
'provide/contract27
'(begin
(eval '(module provide/contract27a scheme/base
(require scheme/contract)
(define-struct person (name) #:transparent)
(provide/contract (struct person ([name string?])))))
(eval '(module provide/contract27b scheme/base
(require 'provide/contract27a)
(provide (struct-out person))))
(eval '(module provide/contract27c scheme/base
(require 'provide/contract27b)
(define provide/contract27ans (person-name (make-person "me")))
(provide provide/contract27ans)))
(eval '(require 'provide/contract27c))
(eval 'provide/contract27ans))
"me")
(contract-error-test (contract-error-test
#'(begin #'(begin