Reverting constant folding for now

This commit is contained in:
Justin Ethier 2017-08-01 13:27:49 +00:00
parent 179e223dfa
commit 0e5257eb91

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,12 +719,13 @@
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))))