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

Fix handling of explicit maker in tc-struct.

Browse Source 
svn: r11881

original commit: 98c02cb887c493ed5aa9c371b382200f0600049d
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-26 12:23:33 +00:00
parent e7bc490d7f
commit 74d7ac4276
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-structs.ss
View File

@ -89,7 +89,7 @@
#:type-wrapper [type-wrapper values]
#:mutable [setters? #f]
#:proc-ty [proc-ty #f]
#:maker [maker #f]
#:maker [maker* #f]
#:constructor-return [cret #f]
#:poly? [poly? #f])
;; create the approriate names that define-struct will bind
@ -102,7 +102,7 @@
(register-struct-types nm sty flds external-fld-types external-fld-types/no-parent setters?
#:wrapper wrapper
#:type-wrapper type-wrapper
#:maker maker
#:maker (or maker* maker)
#:constructor-return cret)))
;; generate names, and register the approriate types give field types and structure type