From bc36487224f670c23002cc4575c0dba3e5dc1be1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 07:24:35 -0400
Subject: De-sigil-ification: ^

---
 lux-jvm/source/luxc/lang/translation/jvm/loop.lux | 56 +++++++++++------------
 1 file changed, 28 insertions(+), 28 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/loop.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 7c4c0fd36..92b8c0286 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -1,36 +1,36 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     ["[0]" monad {"+" do}]]
-    [control
-     ["[0]" function]]
-    [data
-     [collection
-      ["[0]" list ("[1]@[0]" functor monoid)]]]
-    [math
-     [number
-      ["n" nat]]]
-    [tool
-     [compiler
-      ["[0]" phase]
-      [reference
-       [variable {"+" Register}]]
-      [language
-       [lux
-        ["[0]" synthesis {"+" Synthesis}]
-        ["[0]" generation]]]]]]]
-  [luxc
-   [lang
-    [host
-     [jvm {"+" Inst Operation Phase Generator}
-      ["_" inst]]]]]
-  ["[0]" //])
+ [library
+  [lux "*"
+   [abstract
+    ["[0]" monad {"+" do}]]
+   [control
+    ["[0]" function]]
+   [data
+    [collection
+     ["[0]" list ("[1]@[0]" functor monoid)]]]
+   [math
+    [number
+     ["n" nat]]]
+   [tool
+    [compiler
+     ["[0]" phase]
+     [reference
+      [variable {"+" Register}]]
+     [language
+      [lux
+       ["[0]" synthesis {"+" Synthesis}]
+       ["[0]" generation]]]]]]]
+ [luxc
+  [lang
+   [host
+    [jvm {"+" Inst Operation Phase Generator}
+     ["_" inst]]]]]
+ ["[0]" //])
 
 (def: (invariant? expected actual)
   (-> Register Synthesis Bit)
   (case actual
-    (^ (synthesis.variable/local actual))
+    (pattern (synthesis.variable/local actual))
     (n.= expected actual)
 
     _
-- 
cgit v1.2.3