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

fixed bug mentioned by Paulo Matos on plt-scheme mailing list

Browse Source 
svn: r5764
This commit is contained in:
Robby Findler 2007-03-09 22:38:51 +00:00
parent 6f58715823
commit e61faf231e
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/mzlib/private/contract.ss
View File

@ -1903,6 +1903,14 @@ add struct contracts for immutable structs?
(mutator-id ...)
super-id)
(syntax-local-value (syntax struct-name))])
(unless (= (length (syntax->list (syntax (rev-selector-id ...))))
(length (syntax->list (syntax (args ...)))))
(raise-syntax-error 'struct/c
(format "expected ~a contracts because struct ~a has ~a fields"
(length (syntax->list (syntax (rev-selector-id ...))))
(syntax-e #'struct-name)
(length (syntax->list (syntax (rev-selector-id ...)))))
stx))
(with-syntax ([(selector-id ...) (reverse (syntax->list (syntax (rev-selector-id ...))))])
(syntax
(let ([ctc-x (coerce-contract 'struct/c args)] ...)