Merge pull request #1426 from herbie-fp/autofix-54-1

Automated Resyntax fixes

Author: pavpanchekha

infra/convert-json.rkt

@@ -7,7 +7,10 @@
   (let loop ([expr expr])
     (match* (pre-fpcore? expr)
       [(_ (? string?))
-       (or (string->number expr) (error 'fix-expr "string that is not a num: ~a" expr))]
+       (or (string->number expr) (raise-arguments-error 'fix-expr
+                                                        "string that is not a num"
+                                                        "expr"
+                                                        expr))]
       [(#t (list 'expt (app loop a) (app loop b))) (list 'pow a b)]
       [(#t (list 'cube (app loop a))) (list 'pow a 3)]
       [(#t (list 'cot (app loop a))) (list '/ 1 (list 'tan a))]

src/syntax/platform.rkt

@@ -256,7 +256,7 @@
   (define reprs (platform-representations platform))
   (define repr-costs (platform-representation-costs platform))
 
-  (printf "Representations:\n")
+  (displayln "Representations:")
   (define reprs-data
     (for/list ([repr (in-hash-values reprs)]
                [n (in-naturals)])
@@ -265,7 +265,7 @@
       (list n name type total-bits cost)))
   (write-table reprs-data (list "idx" "name" "type" "#bits" "cost"))
 
-  (printf "\nImplementations\n")
+  (displayln "\nImplementations")
   (define impls-data
     (for/list ([impl (in-hash-values impls)]
                [n (in-naturals)])
@@ -298,15 +298,15 @@
   (printf "~a" (~a (list-ref headers 0) #:width (vector-ref cell-widths 0)))
   (for ([i (in-range 1 row-length)])
     (printf "|~a" (~a (list-ref headers i) #:width (vector-ref cell-widths i))))
-  (printf "\n")
+  (newline)
   (printf "~a" (~a "" #:width (vector-ref cell-widths 0) #:right-pad-string "-"))
   (for ([i (in-range 1 row-length)])
     (printf "+~a" (~a "" #:width (vector-ref cell-widths i) #:right-pad-string "-")))
-  (printf "\n")
+  (newline)
 
   ; Content
   (for ([row data])
     (printf "~a" (~a (list-ref row 0) #:width (vector-ref cell-widths 0)))
     (for ([i (in-range 1 row-length)])
       (printf "|~a" (~a (list-ref row i) #:width (vector-ref cell-widths i))))
-    (printf "\n")))
+    (newline)))

src/syntax/syntax.rkt

@@ -42,7 +42,10 @@
 (define/contract (operator-info op field)
   (-> symbol? (or/c 'itype 'otype) any/c)
   (define info
-    (hash-ref rival-functions op (lambda () (error 'operator-info "Unknown operator ~a" op))))
+    (hash-ref rival-functions op (lambda () (raise-arguments-error 'operator-info
+                                                                   "Unknown operator"
+                                                                   "op"
+                                                                   op))))
   (match-define (cons otype itypes) info)
   (case field
     [(itype) itypes]