1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/synthesis/function.lux b/stdlib/source/lux/tool/compiler/phase/synthesis/function.lux
index ce9efe59b..49764fc08 100644
--- a/stdlib/source/lux/tool/compiler/phase/synthesis/function.lux
+++ b/stdlib/source/lux/tool/compiler/phase/synthesis/function.lux
@@ -62,7 +62,7 @@
   (-> Environment Register (Operation Variable))
   (case (list.nth register environment)
     (#.Some aliased)
-    (///wrap aliased)
+    (////wrap aliased)
 
     #.None
     (///.throw cannot-find-foreign-variable-in-environment [register environment])))
@@ -71,7 +71,7 @@
   (-> (-> Synthesis (Operation Synthesis)) Path (Operation Path))
   (case path
     (#//.Bind register)
-    (///wrap (#//.Bind (inc register)))
+    (////wrap (#//.Bind (inc register)))
 
     (^template [<tag>]
       (<tag> left right)
@@ -84,10 +84,10 @@
     (#//.Then thenS)
     (|> thenS
         grow
-        (///map (|>> #//.Then)))
+        (////map (|>> #//.Then)))
 
     _
-    (///wrap path)))
+    (////wrap path)))
 
 (def: (grow-sub-environment super sub)
   (-> Environment Environment (Operation Environment))
@@ -95,7 +95,7 @@
              (function (_ variable)
                (case variable
                  (#reference.Local register)
-                 (///wrap (#reference.Local (inc register)))
+                 (////wrap (#reference.Local (inc register)))
                  
                  (#reference.Foreign register)
                  (find-foreign super register)))
@@ -109,30 +109,30 @@
       (#analysis.Variant [lefts right? subS])
       (|> subS
           (grow environment)
-          (///map (|>> [lefts right?] //.variant)))
+          (////map (|>> [lefts right?] //.variant)))
       
       (#analysis.Tuple membersS+)
       (|> membersS+
           (monad.map ///.monad (grow environment))
-          (///map (|>> //.tuple))))
+          (////map (|>> //.tuple))))
 
     (^ (..self-reference))
-    (///wrap (//.function/apply [expression (list (//.variable/local 1))]))
+    (////wrap (//.function/apply [expression (list (//.variable/local 1))]))
     
     (#//.Reference reference)
     (case reference
       (#reference.Variable variable)
       (case variable
         (#reference.Local register)
-        (///wrap (//.variable/local (inc register)))
+        (////wrap (//.variable/local (inc register)))
         
         (#reference.Foreign register)
         (|> register
             (find-foreign environment)
-            (///map (|>> //.variable))))
+            (////map (|>> //.variable))))
       
       (#reference.Constant constant)
-      (///wrap expression))
+      (////wrap expression))
     
     (#//.Control control)
     (case control
@@ -168,7 +168,7 @@
         (#//.Recur argumentsS+)
         (|> argumentsS+
             (monad.map ///.monad (grow environment))
-            (///map (|>> //.loop/recur))))
+            (////map (|>> //.loop/recur))))
       
       (#//.Function function)
       (case function
@@ -180,8 +180,8 @@
         (#//.Apply funcS argsS+)
         (case funcS
           (^ (//.function/apply [(..self-reference) pre-argsS+]))
-          (///wrap (//.function/apply [(..self-reference)
-                                       (list/compose pre-argsS+ argsS+)]))
+          (////wrap (//.function/apply [(..self-reference)
+                                        (list/compose pre-argsS+ argsS+)]))
           
           _
           (do ///.monad
@@ -192,10 +192,10 @@
     (#//.Extension name argumentsS+)
     (|> argumentsS+
         (monad.map ///.monad (grow environment))
-        (///map (|>> (#//.Extension name))))
+        (////map (|>> (#//.Extension name))))
 
     _
-    (///wrap expression)))
+    (////wrap expression)))
 
 (def: #export (abstraction phase environment bodyA)
   (-> Phase Environment Analysis (Operation Synthesis))