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

Fix reporting of struct constructors in TR.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-09-28 10:53:29 -04:00
parent 1ccdc3a60d
commit 5f2dfa5144
2 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/hidden-costs.rkt
View File

@ -29,6 +29,8 @@
;; Log calls to struct constructors, so that OC can report those used in ;; Log calls to struct constructors, so that OC can report those used in
;; hot loops. ;; hot loops.
(pattern (#%plain-app op:id args:opt-expr ...) (pattern (#%plain-app op:id args:opt-expr ...)
#:when (struct-constructor? #'op) #:when (let ([constructor-for (syntax-property #'op 'constructor-for)])
(or (and constructor-for (struct-constructor? constructor-for))
(struct-constructor? #'op)))
#:do [(log-optimization-info "struct constructor" #'op)] #:do [(log-optimization-info "struct constructor" #'op)]
#:with opt #'(op args.opt ...))) #:with opt #'(op args.opt ...)))

15
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/struct-constructor.rkt Normal file
View File

@ -0,0 +1,15 @@
#;#;
#<<END
TR info: struct-constructor.rkt 15:7 foo -- struct constructor
END
#<<END
END
#lang typed/racket
(provide (struct-out foo))
(struct: foo ())
(void (foo))