format

herbie-fp · Sep 11, 2024 · cf13cb8 · cf13cb8
1 parent eef6b8f
commit cf13cb8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/core/explain.rkt b/src/core/explain.rkt
@@ -183,7 +183,8 @@
            ; nan rescue:
            ; R(+-inf) + R(-+inf) = nan, but should actually
            ; be inf
-           [(and (overflow? xlog) (overflow? ylog) (not (same-sign?* xfl yfl))) (mark-erroneous! subexpr 'nan-rescue)]
+           [(and (overflow? xlog) (overflow? ylog) (not (same-sign?* xfl yfl)))
+            (mark-erroneous! subexpr 'nan-rescue)]
 
            ; inf rescue:
            ; R(inf) + y = non inf value (inf rescue)

diff --git a/src/core/logspace.rkt b/src/core/logspace.rkt
@@ -4,7 +4,7 @@
          math/flonum
          racket/struct
          "../syntax/syntax.rkt"
-                  "../syntax/types.rkt")
+          "../syntax/types.rkt")
 
 (provide (all-defined-out))
 
@@ -153,8 +153,6 @@
 ;   (match-define (logfl a sa ea) A)
 ;   (logfl (ceil a) sa (fllog2 (abs (ceil a)))))
 
-
-
 (define (logop? symbol)
   (match symbol
     ['log+ #true]