Better fix

Author: varun10p

src/platforms/bool.rkt

@@ -29,11 +29,7 @@
 (define (or-fn . as)
   (ormap identity as))
 
-(define-operator-impl (not [x : bool])
-                      bool
-                      #:spec (not x)
-                      #:fl not
-                      #:identities (#:exact (not a)))
+(define-operator-impl (not [x : bool]) bool #:spec (not x) #:fl not #:identities (#:exact (not a)))
 
 (define-operator-impl (and [x : bool] [y : bool])
                       bool

src/syntax/sugar.rkt

@@ -173,7 +173,8 @@
        (define ift* (loop ift prop-dict))
        (define iff* (loop iff prop-dict))
        (list 'if cond* ift* iff*)]
-      [(list '! props ... body) (loop body (apply dict-set prop-dict props))]
+      [(list '! props ... body)
+       (loop body (if (not (null? props)) (apply dict-set prop-dict props) prop-dict))]
       [(list 'neg arg) ; non-standard but useful [TODO: remove]
        (define arg* (loop arg prop-dict))
        (fpcore->impl-app '- prop-dict (list arg*) ctx)]