remove unsound normalization rules

drym-org · Dec 14, 2023 · 757ff29 · 757ff29
1 parent b3b843d
commit 757ff29
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/qi-lib/flow/core/normalize.rkt b/qi-lib/flow/core/normalize.rkt
@@ -27,9 +27,6 @@
     ;; (~> (pass f) (>< g)) → (>< (if f g ⏚))
     [(thread _0 ... (pass f) (amp g) _1 ...)
      #'(thread _0 ... (amp (if f g ground)) _1 ...)]
-    ;; merge amps in sequence
-    [(thread _0 ... (amp f) (amp g) _1 ...)
-     #'(thread _0 ... (amp (thread f g)) _1 ...)]
     ;; merge pass filters in sequence
     [(thread _0 ... (pass f) (pass g) _1 ...)
      #'(thread _0 ... (pass (and f g)) _1 ...)]
@@ -48,9 +45,6 @@
     ;; composition of identity flows is the identity flow
     [(thread (~datum _) ...)
      #'_]
-    ;; identity flows composed using a relay
-    [(relay (~datum _) ...)
-     #'_]
     ;; amp and identity
     [(amp (~datum _))
      #'_]