From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 stdlib/source/specification/compositor/generation/case.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 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 371a89162..8508220ed 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -36,7 +36,7 @@
 
 (def: (tail? size idx)
   (-> Nat Nat Bit)
-  (n.= (dec size) idx))
+  (n.= (-- size) idx))
 
 (def: .public (verify expected)
   (-> Frac (Try Any) Bit)
@@ -70,9 +70,9 @@
                  [subS subP] case
                  .let [unitS (synthesis.text synthesis.unit)
                        caseS (synthesis.tuple
-                              (list.joined (list (list.repeated idx unitS)
-                                                 (list subS)
-                                                 (list.repeated (|> size dec (n.- idx)) unitS))))
+                              (list.together (list (list.repeated idx unitS)
+                                                   (list subS)
+                                                   (list.repeated (|> size -- (n.- idx)) unitS))))
                        caseP ($_ synthesis.path/seq
                                  (if (tail? size idx)
                                    (synthesis.member/right idx)
-- 
cgit v1.2.3