Merge pull request #1408 from herbie-fp/autofix-52-1

Automated Resyntax fixes

Author: pavpanchekha

src/core/explain.rkt

@@ -153,7 +153,8 @@
 
          (cond
            [(> (- x.eps y.eps) 100) (silence y-ex)]
-           [(> (- y.eps x.eps) 100) (silence x-ex)])
+           [(> (- y.eps x.eps) 100) (silence x-ex)]
+           [else (void)])
 
          (cond
            ; Condition number hallucination
@@ -198,7 +199,8 @@
 
          (cond
            [(> (- x.eps y.eps) 100) (silence y-ex)]
-           [(> (- y.eps x.eps) 100) (silence x-ex)])
+           [(> (- y.eps x.eps) 100) (silence x-ex)]
+           [else (void)])
 
          (cond
            ; Condition number hallucination:
@@ -530,7 +532,7 @@
 
   (define explanations-table
     (for/list ([(key val) (in-dict expls->points)]
-               #:unless (zero? (length val)))
+               #:unless (empty? val))
       (define subexpr (car key))
       (define expl (cdr key))
       (define err-count (length val))
@@ -582,7 +584,7 @@
 
   (define points->expl (make-hash))
 
-  (for* ([(_ points) (in-dict expls->points)]
+  (for* ([points (in-dict-values expls->points)]
          [pt (in-list points)])
     (hash-update! points->expl pt add1 0))
 

src/core/patch.rkt

@@ -96,10 +96,11 @@
   (define reprs (map (batch-reprs global-batch (*context*)) brfs))
 
   (define runner
-    (if (flag-set? 'generate 'egglog)
-        (let-values ([(batch* brfs*) (batch-copy-only global-batch brfs)])
-          (make-egglog-runner batch* brfs* reprs schedule (*context*)))
-        (make-egraph global-batch brfs reprs schedule (*context*))))
+    (cond
+      [(flag-set? 'generate 'egglog)
+       (define-values (batch* brfs*) (batch-copy-only global-batch brfs))
+       (make-egglog-runner batch* brfs* reprs schedule (*context*))]
+      [else (make-egraph global-batch brfs reprs schedule (*context*))]))
 
   (define batchrefss
     (if (flag-set? 'generate 'egglog)
@@ -168,10 +169,11 @@
   (define reprs (map (batch-reprs global-batch (*context*)) brfs))
 
   (define runner
-    (if (flag-set? 'generate 'egglog)
-        (let-values ([(batch* brfs*) (batch-copy-only global-batch brfs)])
-          (make-egglog-runner batch* brfs* reprs schedule (*context*)))
-        (make-egraph global-batch brfs reprs schedule (*context*))))
+    (cond
+      [(flag-set? 'generate 'egglog)
+       (define-values (batch* brfs*) (batch-copy-only global-batch brfs))
+       (make-egglog-runner batch* brfs* reprs schedule (*context*))]
+      [else (make-egraph global-batch brfs reprs schedule (*context*))]))
 
   (define batchrefss
     (if (flag-set? 'generate 'egglog)

src/core/rival.rkt

@@ -32,12 +32,14 @@
                 (listof any/c))]))
 
 (define (unified-contexts? ctxs)
-  (and ((non-empty-listof context?) ctxs)
-       (let ([ctx0 (car ctxs)])
-         (for/and ([ctx (in-list (cdr ctxs))])
-           (and (equal? (context-vars ctx0) (context-vars ctx))
-                (for/and ([var (in-list (context-vars ctx0))])
-                  (equal? (context-lookup ctx0 var) (context-lookup ctx var))))))))
+  (cond
+    [((non-empty-listof context?) ctxs)
+     (define ctx0 (car ctxs))
+     (for/and ([ctx (in-list (cdr ctxs))])
+       (and (equal? (context-vars ctx0) (context-vars ctx))
+            (for/and ([var (in-list (context-vars ctx0))])
+              (equal? (context-lookup ctx0 var) (context-lookup ctx var)))))]
+    [else #f]))
 
 (define (expr-size expr)
   (if (list? expr)