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

comments

Browse Source 
svn: r16704

original commit: e34e001167077490a27fd9a1cd1ed5209c24d65c
This commit is contained in:
Eli Barzilay 2009-11-12 00:18:08 +00:00
parent df40adad82
commit 98b55a89ee
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/unstable/mutated-vars.ss
View File

@ -42,5 +42,14 @@
;; is-var-mutated? : identifier -> boolean
(define (is-var-mutated? id) (module-identifier-mapping-get table id (lambda _ #f)))
(provide find-mutated-vars is-var-mutated?)
;; Eli:
;; - The `for-template' doesn't look like it's needed.
;; - This is the *worst* looking interface I've seen in a while. Seems very
;; specific to some unclear optimization needs. (Either that, or translated
;; from C.)
;; - Besides weird, identifiers maps are (IIRC) not weak, which makes this even
;; less general.
;; - What's with the typed-scheme literals? If they were needed, then
;; typed-scheme is probably broken now.
(provide find-mutated-vars is-var-mutated?)