Optimize negation

This commit is contained in:
Justin Ethier 2017-07-12 12:07:41 +00:00
parent d78a516138
commit 856f201eb0

View file

@ -907,6 +907,8 @@
(cons 'Cyc-fast-plus (cdr prim-call)))
((and (equal? (car prim-call) '-) (= (length prim-call) 3))
(cons 'Cyc-fast-sub (cdr prim-call)))
((and (equal? (car prim-call) '-) (= (length prim-call) 2))
`(Cyc-fast-sub 0 ,@(cdr prim-call)))
((and (equal? (car prim-call) '*) (= (length prim-call) 3))
(cons 'Cyc-fast-mul (cdr prim-call)))
((and (equal? (car prim-call) '/) (= (length prim-call) 3))