Adding Inverse Rules

infra/ci.rkt

@@ -36,8 +36,7 @@
       (append-map load-tests bench-dirs)))
   (define seed (pseudo-random-generator->vector (current-pseudo-random-generator)))
   (printf "Running Herbie on ~a tests, seed: ~a\n" (length tests) seed)
-  (for/and ([the-test tests]
-            [i (in-naturals)])
+  (for/and ([the-test tests] [i (in-naturals)])
     (printf "~a/~a\t" (~a (+ 1 i) #:width 3 #:align 'right) (length tests))
     (define the-test*
       (if (*precision*)

src/core/mainloop.rkt

@@ -177,7 +177,7 @@
   (define localized-exprs empty)
   (define repr (context-repr (*context*)))
 
-  (when (flag-set? 'localize 'costs)
+  #| (when (flag-set? 'localize 'costs)
     (define loc-costss (batch-localize-costs exprs (*context*)))
     (define cost-localized
       (for/list ([loc-costs (in-list loc-costss)]
@@ -186,7 +186,7 @@
                  [_ (in-range (*localize-expressions-limit*))])
         (timeline-push! 'locations (~a expr) "cost-diff" cost-diff)
         expr))
-    (set! localized-exprs (remove-duplicates (append localized-exprs cost-localized))))
+    (set! localized-exprs (remove-duplicates (append localized-exprs cost-localized)))) |#
 
   (timeline-event! 'localize)
   (when (flag-set? 'localize 'errors)

src/core/programs.rkt

@@ -105,8 +105,7 @@
        [(< len-a len-b) -1]
        [(> len-a len-b) 1]
        [else
-        (let loop ([a a]
-                   [b b])
+        (let loop ([a a] [b b])
           (if (null? a)
               0
               (let ([cmp (expr-cmp (car a) (car b))])
@@ -166,8 +165,7 @@
   (define (invalid! where loc)
     (error 'location-do "invalid location `~a` for `~a` in `~a`" loc where prog))
 
-  (let loop ([prog prog]
-             [loc loc])
+  (let loop ([prog prog] [loc loc])
     (match* (prog loc)
       [(_ (? null?)) (f prog)]
       [((or (? literal?) (? number?) (? symbol?)) _) (invalid! prog loc)]
@@ -177,8 +175,7 @@
          [(2) (approx spec (loop impl rest))]
          [else (invalid! prog loc)])]
       [((list op args ...) (cons idx rest)) ; operator
-       (let seek ([elts (cons op args)]
-                  [idx idx])
+       (let seek ([elts (cons op args)] [idx idx])
          (cond
            [(= idx 0) (cons (loop (car elts) rest) (cdr elts))]
            [(null? elts) (invalid! prog loc)]