unbreak startup cifiy

Should have been part of ec036a0f5f.
This commit is contained in:
Matthew Flatt 2018-06-27 07:23:51 -06:00
parent 5b8aa67ea4
commit 9e6f450005

View File

@ -69,7 +69,7 @@
(printf "Schemify...\n")
(define body
(time
(schemify-body bodys/constants-lifted (lambda (old-v new-v) new-v) prim-knowns #hasheq() #hasheq()
(schemify-body bodys/constants-lifted prim-knowns #hasheq() #hasheq()
;; for cify:
#t
;; unsafe mode:
@ -78,7 +78,7 @@
(printf "Lift...\n")
(define lifted-body
(time
(lift-in-schemified-body body (lambda (old new) new))))
(lift-in-schemified-body body)))
(define converted-body
(append (for/list ([p (in-list lifted-constants)])