fmt, AGENTS.md twekas

Author: pavpanchekha

.gitignore

@@ -26,3 +26,4 @@ herbie-compiled/
 
 # Python
 .env/
+.worktrees

AGENTS.md

@@ -1,8 +1,10 @@
 
 # Testing
 
-- Run `make fmt` to format the code before presentingcode. This is
+- Run `make fmt` to format the code before finishing a task. This is
   mandatory and PRs that don't follow the coding style are rejected.
+- Always check your `git diff` before finishing a task. There's often
+  leftover or dead code, and you should delete it.
 - Run `racket src/main.rkt report bench/tutorial.fpcore tmp` to test
   that your changes work; this should take about 5-10 seconds and all
   of the tests should pass, getting basically perfect accuracy.

src/core/egg-herbie.rkt

@@ -529,21 +529,20 @@
 ;; Synthesizes lowering rules for a given platform.
 (define (platform-lowering-rules [pform (*active-platform*)])
   (define impls (platform-impls pform))
-  (append* (for/list ([impl (in-list impls)])
-             (hash-ref! (*lowering-rules*)
-                        (cons impl pform)
-                        (lambda ()
-                          (define name (sym-append 'lower- impl))
-                          (define-values (vars spec-expr impl-expr) (impl->rule-parts impl))
-                          (list (rule name spec-expr impl-expr '(lowering))
-                                (rule (sym-append 'lower-unsound- impl)
-                                      (add-unsound spec-expr)
-                                      impl-expr
-                                      '(lowering))
-                                (rule (sym-append 'lower-sound- impl)
-                                      (add-sound-with-wildcard spec-expr)
-                                      impl-expr
-                                      '(lowering))))))))
+  (append*
+   (for/list ([impl (in-list impls)])
+     (hash-ref!
+      (*lowering-rules*)
+      (cons impl pform)
+      (lambda ()
+        (define name (sym-append 'lower- impl))
+        (define-values (vars spec-expr impl-expr) (impl->rule-parts impl))
+        (list (rule name spec-expr impl-expr '(lowering))
+              (rule (sym-append 'lower-unsound- impl) (add-unsound spec-expr) impl-expr '(lowering))
+              (rule (sym-append 'lower-sound- impl)
+                    (add-sound-with-wildcard spec-expr)
+                    impl-expr
+                    '(lowering))))))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Racket egraph

src/core/rules.rkt

@@ -40,8 +40,7 @@
 (define (add-sound-with-wildcard expr)
   (match expr
     [(list op args ...)
-     (cons (sym-append "sound-" op)
-           (append (map add-sound-with-wildcard args) (list '_)))]
+     (cons (sym-append "sound-" op) (append (map add-sound-with-wildcard args) (list '_)))]
     [_ expr]))
 
 (define-syntax define-rule