Merge pull request #1279 from herbie-fp/autofix-33-1

Automated Resyntax fixes

Author: pavpanchekha

src/core/preprocess.rkt

@@ -180,16 +180,16 @@
      (define repr (context-lookup context a))
      (define fmin (get-fpcore-impl 'fmin (repr->prop repr) (list repr repr)))
      (define fmax (get-fpcore-impl 'fmax (repr->prop repr) (list repr repr)))
-     (replace-vars (list (cons a `(,fmin ,a ,b)) (cons b `(,fmax ,a ,b))) expression)]
+     (replace-vars (list (cons a (list fmin a b)) (cons b (list fmax a b))) expression)]
     [(list 'abs var)
      (define repr (context-lookup context var))
      (define fabs (get-fpcore-impl 'fabs (repr->prop repr) (list repr)))
-     (define replacement `(,fabs ,var))
+     (define replacement (list fabs var))
      (replace-expression expression var replacement)]
     [(list 'negabs var)
      (define repr (context-lookup context var))
      (define fabs (get-fpcore-impl 'fabs (repr->prop repr) (list repr)))
-     (define replacement `(,fabs ,var))
+     (define replacement (list fabs var))
      (define mul (get-fpcore-impl '* (repr->prop repr) (list repr repr)))
      (define copysign (get-fpcore-impl 'copysign (repr->prop repr) (list repr repr)))
      `(,mul (,copysign ,(literal 1 (representation-name repr)) ,var)

src/core/reduce.rkt

@@ -167,10 +167,10 @@
     ['NAN `(NAN)]
     [(? symbol?) `(1 (1 . ,expr))]
     [`(neg ,arg)
-     (let ([terms (gather-multiplicative-terms arg)])
-       (if (eq? (car terms) 'NAN)
-           '(NAN)
-           (cons (- (car terms)) (cdr terms))))]
+     (define terms (gather-multiplicative-terms arg))
+     (if (eq? (car terms) 'NAN)
+         '(NAN)
+         (cons (- (car terms)) (cdr terms)))]
     [`(* ,args ...)
      (define terms (map gather-multiplicative-terms args))
      (if (ormap (curry eq? 'NAN) (map car terms))