schemify: add reduction of (not #f)

2018-06-14 11:15:39 -03:00 · 2018-06-14 11:15:39 -03:00 · 9cd3798ca9
commit 9cd3798ca9
parent 96161f68eb
1 changed files with 4 additions and 0 deletions
--- a/racket/src/schemify/optimize.rkt
+++ b/racket/src/schemify/optimize.rkt
@ -19,6 +19,10 @@
     (if (literal? t)
         (if (unwrap t) e1 e2)
         v)]
+    [`(not ,t)
+     (if (literal? t)
+         `,(not (unwrap t))
+         v)]
    [`(procedure? ,e)
     (define u (unwrap e))
     (cond