Merge pull request #1309 from herbie-fp/autofix-35-1

Automated Resyntax fixes

Author: pavpanchekha

src/core/egg-herbie.rkt

@@ -301,7 +301,8 @@
            (list 'if (loop cond (get-representation 'bool)) (loop ift type) (loop iff type))
            (list 'if (loop cond 'bool) (loop ift type) (loop iff type)))]
       [(list (? impl-exists? impl) args ...) (cons impl (map loop args (impl-info impl 'itype)))]
-      [(list (? (λ (x) (string-contains? (~a x) "unsound")) op) args ...)
+      [(list op args ...)
+       #:when (string-contains? (~a op) "unsound")
        (define op* (string->symbol (string-replace (symbol->string (car expr)) "unsound-" "")))
        (cons op* (map loop args (map (const 'real) args)))]
       [(list op args ...) (cons op (map loop args (operator-info op 'itype)))])))

src/core/preprocess.rkt

@@ -165,7 +165,7 @@
      (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 (list fmin a b)) (cons b (list fmax a b))) expression)]
+     (replace-vars (list (list a fmin a b) (list b fmax a b)) expression)]
     [(list 'abs var)
      (define repr (context-lookup context var))
      (define fabs (get-fpcore-impl 'fabs (repr->prop repr) (list repr)))

src/core/test-rules.rkt

@@ -21,7 +21,8 @@
 
 (define (drop-unsound expr)
   (match expr
-    [(list (? (λ (x) (string-contains? (~a x) "unsound")) op) args ...)
+    [(list op args ...)
+     #:when (string-contains? (~a op) "unsound")
      (define op* (string->symbol (string-replace (symbol->string (car expr)) "unsound-" "")))
      (cons op* (map drop-unsound args))]
     [_ expr]))