fixed PR 8737

svn: r6596

original commit: 3857b95a7b9886b5884c299206cc411882023fcb
This commit is contained in:
Robby Findler 2007-06-12 15:23:54 +00:00
parent 2092210508
commit 251d76073b

View File

@ -5088,6 +5088,18 @@ so that propagation occurs.
(eval 'pc19-ans))
1)
;; test that unit & contract don't collide over the name `struct'
(test/spec-passed
'provide/contract20
'(eval '(module tmp mzscheme
(require (lib "contract.ss")
(lib "unit.ss"))
(define-struct s (a b))
(provide/contract
[struct s ([a number?]
[b symbol?])]))))
(contract-error-test
#'(begin