suzanne.soy/typed-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 
original commit: 71ae5f0a6e92f571ab34ed1849ff31c71117e12c
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 14:06:09 -04:00
parent 63f6827622
commit 0c00609ade
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?))]
[flds (append parent-fields this-flds)]
[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 (map fld-t flds)])
(if type-only