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

Enable struct construction when not transforming. Necessary for testing.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 14:06:09 -04:00
parent eea479b34a
commit 71ae5f0a6e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -123,7 +123,9 @@
(make-fld t g setters?))] (make-fld t g setters?))]
[flds (append parent-fields this-flds)] [flds (append parent-fields this-flds)]
[sty (make-Struct name parent flds proc-ty poly? pred [sty (make-Struct name parent flds proc-ty poly? pred
(syntax-local-certifier) (or maker* maker))] ;; this check is so that the tests work
(if (syntax-transforming?) (syntax-local-certifier) values)
(or maker* maker))]
[external-fld-types/no-parent types] [external-fld-types/no-parent types]
[external-fld-types (map fld-t flds)]) [external-fld-types (map fld-t flds)])
(if type-only (if type-only