Statically determining more jumps, so we should be able to do while loops.

This commit is contained in:
Danny Yoo 2012-02-28 19:45:17 -05:00
parent 32ff42bebe
commit e62b7e9977
2 changed files with 8 additions and 2 deletions

View File

@ -980,7 +980,7 @@
(define (default)
(compile-general-application exp cenv target linkage))
(let: ([op-knowledge : CompileTimeEnvironmentEntry
(extract-static-knowledge (App-operator exp)
extended-cenv)])
@ -1716,6 +1716,12 @@
;(log-debug (format "known to be ~s" entry))
entry)]
[(EmptyClosureReference? exp)
(make-StaticallyKnownLam (EmptyClosureReference-name exp)
(EmptyClosureReference-entry-label exp)
(if (EmptyClosureReference-rest? exp)
(make-ArityAtLeast (EmptyClosureReference-num-parameters exp))
(EmptyClosureReference-num-parameters exp)))]
[(ToplevelRef? exp)
;(log-debug (format "toplevel reference of ~a" exp))
;(when (ToplevelRef-constant? exp)

View File

@ -7,4 +7,4 @@
(provide version)
(: version String)
(define version "1.193")
(define version "1.194")