Merge pull request #1404 from herbie-fp/autofix-50-1

Automated Resyntax fixes

Author: pavpanchekha

src/api/server.rkt

@@ -236,7 +236,7 @@
      job-id]
     [(list 'count) (hash-count queued-jobs)]
     [(list 'improve)
-     (for/list ([(job-id result) (in-hash completed-jobs)]
+     (for/list ([result (in-hash-values completed-jobs)]
                 #:when (equal? (hash-ref result 'command) "improve"))
        result)]
     [(list 'forget job-id)
@@ -368,7 +368,7 @@
        ; Retrieve the improve results for results.json
        [(list 'improve handler)
         (define improved-list
-          (for/list ([(job-id result) (in-hash completed-jobs)]
+          (for/list ([result (in-hash-values completed-jobs)]
                      #:when (equal? (hash-ref result 'command) "improve"))
             result))
         (place-channel-put handler improved-list)]

src/core/batch.rkt

@@ -180,12 +180,10 @@
                  (λ (brf recurse)
                    (define node (deref brf))
                    (define node* (f node))
-                   (define brf*
-                     (let loop ([node* node*])
-                       (match node*
-                         [(? batchref? brf) (recurse brf)]
-                         [_ (batch-push! out (expr-recurse node* (compose batchref-idx loop)))])))
-                   brf*)))
+                   (let loop ([node* node*])
+                     (match node*
+                       [(? batchref? brf) (recurse brf)]
+                       [_ (batch-push! out (expr-recurse node* (compose batchref-idx loop)))])))))
 
 ;; Allocates new batch
 (define (batch-apply b brfs f)

src/core/egg-herbie.rkt

@@ -666,10 +666,11 @@
         (vector-set! id->eclass id (cons enode* (vector-ref id->eclass id)))
         (match enode*
           [(list _ ids ...)
-           (if (null? ids)
-               (vector-set! id->leaf? id #t)
-               (for ([child-id (in-list ids)])
-                 (vector-set! id->parents child-id (cons id (vector-ref id->parents child-id)))))]
+           #:when (null? ids)
+           (vector-set! id->leaf? id #t)]
+          [(list _ ids ...)
+           (for ([child-id (in-list ids)])
+             (vector-set! id->parents child-id (cons id (vector-ref id->parents child-id))))]
           [(? symbol?) (vector-set! id->leaf? id #t)]
           [(? number?) (vector-set! id->leaf? id #t)]))))
 
@@ -1108,7 +1109,11 @@
 
 ;; Is fractional with odd denominator.
 (define (fraction-with-odd-denominator? frac)
-  (and (rational? frac) (let ([denom (denominator frac)]) (and (> denom 1) (odd? denom)))))
+  (cond
+    [(rational? frac)
+     (define denom (denominator frac))
+     (and (> denom 1) (odd? denom))]
+    [else #f]))
 
 ;; Decompose an e-node representing an impl of `(pow b e)`.
 ;; Returns either `#f` or the `(cons b e)`