From b647b383a724778793a013f8a614bb56a8a4a370 Mon Sep 17 00:00:00 2001
From: zane <39070793+zaneenders@users.noreply.github.com>
Date: Fri, 23 Aug 2024 17:34:28 -0600
Subject: [PATCH] Fix fmt.

---
 infra/convert-demo.rkt | 5 ++++-
 src/reports/plot.rkt   | 4 +++-
 src/syntax/types.rkt   | 3 ++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/infra/convert-demo.rkt b/infra/convert-demo.rkt
index f25e2a3e2..123fa02e7 100644
--- a/infra/convert-demo.rkt
+++ b/infra/convert-demo.rkt
@@ -34,7 +34,10 @@
   (define exprs-unfiltered
     (for/list ([test tests])
       (read-expr (hash-ref test 'input) is-version-10)))
-  (define exprs (for/set ([expr exprs-unfiltered] #:when (not (set-member? existing-set expr))) expr))
+  (define exprs
+    (for/set ([expr exprs-unfiltered]
+              #:when (not (set-member? existing-set expr)))
+      expr))
   (for ([expr (in-set exprs)])
     (fprintf output-file "~a\n" (make-fpcore expr)))
   exprs)
diff --git a/src/reports/plot.rkt b/src/reports/plot.rkt
index 0b1b691bf..928b809e9 100644
--- a/src/reports/plot.rkt
+++ b/src/reports/plot.rkt
@@ -20,7 +20,9 @@
          splitpoints->json)
 
 (define (all-same? pts idx)
-  (= 1 (set-count (for/set ([pt pts]) (list-ref pt idx)))))
+  (= 1
+     (set-count (for/set ([pt pts])
+                  (list-ref pt idx)))))
 
 (define (ulps->bits-tenths x)
   (string->number (real->decimal-string (ulps->bits x) 1)))
diff --git a/src/syntax/types.rkt b/src/syntax/types.rkt
index 52618fb86..0565ecc98 100644
--- a/src/syntax/types.rkt
+++ b/src/syntax/types.rkt
@@ -26,7 +26,8 @@
 (define (type-name? x)
   (hash-has-key? type-dict x))
 
-(define-syntax-rule (define-type name _ ...) (hash-set! type-dict 'name #t))
+(define-syntax-rule (define-type name _ ...)
+  (hash-set! type-dict 'name #t))
 
 (define-type real)
 (define-type bool)