Added constant folding back

This commit is contained in:
Justin Ethier 2017-08-01 18:43:33 -04:00
parent 9a9bb4079f
commit 69a54ecb6a

View file

@ -62,7 +62,7 @@
adbf:side-effects adbf:set-side-effects! adbf:side-effects adbf:set-side-effects!
) )
(begin (begin
#;(define (define
*contract-env* *contract-env*
(let ((env (create-environment '() '()))) (let ((env (create-environment '() '())))
(eval '(define Cyc-fast-plus +) env) (eval '(define Cyc-fast-plus +) env)
@ -719,13 +719,12 @@
fnc fnc
(map (lambda (e) (opt:contract e)) (cdr exp))))) (map (lambda (e) (opt:contract e)) (cdr exp)))))
;; Perform constant folding if possible ;; Perform constant folding if possible
;;(if (and (prim-call? exp) (if (and (prim-call? exp)
;; (precompute-prim-app? result)) (precompute-prim-app? result))
;; (with-handler ;; Safety check, keep going if eval fails (with-handler ;; Safety check, keep going if eval fails
;; (lambda (err) result) (lambda (err) result)
;; (eval result *contract-env*)) (eval result *contract-env*))
;; result)) result))
result)
)))) ))))
(else (else
(error "CPS optimize [1] - Unknown expression" exp)))) (error "CPS optimize [1] - Unknown expression" exp))))