collapse singleton threading form

drym-org · Mar 10, 2023 · 18dee20 · 18dee20
1 parent bf493da
commit 18dee20
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/qi-lib/flow/core/compiler.rkt b/qi-lib/flow/core/compiler.rkt
@@ -41,6 +41,9 @@
       ;; collapse deterministic conditionals
       [((~datum if) (~datum #t) f g) #'f]
       [((~datum if) (~datum #f) f g) #'g]
+      ;; trivial threading form
+      [((~datum thread) f)
+       #'f]
       ;; associative laws for ~>
       [((~datum thread) _0 ... ((~datum thread) f ...) _1 ...)
        #'(thread _0 ... f ... _1 ...)]