Merge pull request #1314 from herbie-fp/autofix-36-1

Automated Resyntax fixes

Author: pavpanchekha

src/platforms/herbie10.rkt

@@ -129,9 +129,9 @@
      [fmod      0]
      [remainder 0])]))
 
-(for ([libm-impl.f32 (in-list libm-impls.f32)])
-  (when libm-impl.f32
-    (platform-register-implementation! platform libm-impl.f32)))
+(for ([libm-impl.f32 (in-list libm-impls.f32)]
+      #:when libm-impl.f32)
+  (platform-register-implementation! platform libm-impl.f32))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; libm accelerators ;;;;;;;;;;;;;;;;;;;;;
 
@@ -236,9 +236,9 @@
      [fmod      0]
      [remainder 0])]))
 
-(for ([libm-impl.f64 (in-list libm-impls.f64)])
-  (when libm-impl.f64
-    (platform-register-implementation! platform libm-impl.f64)))
+(for ([libm-impl.f64 (in-list libm-impls.f64)]
+      #:when libm-impl.f64)
+  (platform-register-implementation! platform libm-impl.f64))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; libm accelerators ;;;;;;;;;;;;;;;;;;;;;
 

src/platforms/math.rkt

@@ -142,9 +142,9 @@
      [fmod      94.277144]
      [remainder 16.165012])]))
 
-(for ([libm-impl.f64 (in-list libm-impls.f64)])
-  (when libm-impl.f64
-    (platform-register-implementation! platform libm-impl.f64)))
+(for ([libm-impl.f64 (in-list libm-impls.f64)]
+      #:when libm-impl.f64)
+  (platform-register-implementation! platform libm-impl.f64))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; libm accelerators ;;;;;;;;;;;;;;;;;;;;;
 

src/platforms/runtime/libm.rkt

@@ -48,12 +48,12 @@
     (raise-syntax-error 'make-libm-impl why stx sub-stx))
 
   (define (repr->type repr)
-    (let ([sym (syntax-e repr)])
-      (cond
-        [(eq? sym 'binary64) #'double]
-        [(eq? sym 'binary32) #'float]
-        [(eq? sym 'integer) #'integer]
-        [else (oops! "unknown type" repr)])))
+    (define sym (syntax-e repr))
+    (cond
+      [(eq? sym 'binary64) #'double]
+      [(eq? sym 'binary32) #'float]
+      [(eq? sym 'integer) #'integer]
+      [else (oops! "unknown type" repr)]))
 
   (syntax-case stx ()
     [(_ cname (op name itype ...) otype cost)