From 62b3abfcc014ca1c19d62aacdd497f6a250b372c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 25 Jul 2021 03:12:17 -0400
Subject: Better syntax for "library/lux.^multi".

---
 stdlib/source/specification/compositor/generation/case.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/case.lux')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 2424aa330..81e6f5988 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -111,7 +111,7 @@
   (-> Runner Test)
   (do r.monad
     [on-true r.safe-frac
-     on-false (|> r.safe-frac (r.filter (|>> (f.= on-true) not)))
+     on-false (|> r.safe-frac (r.only (|>> (f.= on-true) not)))
      verdict r.bit]
     (_.test (%.name (name-of synthesis.branch/if))
             (|> (synthesis.branch/if [(synthesis.bit verdict)
@@ -125,7 +125,7 @@
   (do r.monad
     [[inputS pathS] ..case
      on-success r.safe-frac
-     on-failure (|> r.safe-frac (r.filter (|>> (f.= on-success) not)))]
+     on-failure (|> r.safe-frac (r.only (|>> (f.= on-success) not)))]
     (_.test (%.name (name-of synthesis.branch/case))
             (|> (synthesis.branch/case
                  [inputS
@@ -231,7 +231,7 @@
 (def: special-pattern-path
   Path
   ($_ synthesis.path/alt
-      (<| try.assume
+      (<| try.assumed
           (phase.run [extension/synthesis.bundle
                       synthesis.init])
           (case.path phase/synthesis.phase
-- 
cgit v1.2.3