- Adapted main codebase to the latest syntatic changes.

1 files changed, 9 insertions, 9 deletions

diff --git a/new-luxc/source/luxc/lang/synthesis/function.lux b/new-luxc/source/luxc/lang/synthesis/function.lux
index 52aee9a49..25dd75aff 100644
--- a/new-luxc/source/luxc/lang/synthesis/function.lux
+++ b/new-luxc/source/luxc/lang/synthesis/function.lux
@@ -1,29 +1,29 @@
-(;module:
+(.module:
   lux
   (luxc (lang ["la" analysis]
               ["ls" synthesis]
-              [";L" variable #+ Variable])))
+              [".L" variable #+ Variable])))
 
 (do-template [<name> <comp> <ref>]
   [(def: #export (<name> arity)
-     (-> ls;Arity Bool)
+     (-> ls.Arity Bool)
      (<comp> <ref> arity))]
 
-  [nested? n.> +1]
-  [top?    n.= +0]
+  [nested? n/> +1]
+  [top?    n/= +0]
   )
 
 (def: #export (adjust-var outer var)
-  (-> ls;Arity Variable Variable)
-  (|> outer n.dec nat-to-int (i.+ var)))
+  (-> ls.Arity Variable Variable)
+  (|> outer n/dec nat-to-int (i/+ var)))
 
 (def: #export (unfold-apply apply)
-  (-> la;Analysis [la;Analysis (List la;Analysis)])
+  (-> la.Analysis [la.Analysis (List la.Analysis)])
   (loop [apply apply
          args (list)]
     (case apply
       (^code ("lux apply" (~ arg) (~ func)))
-      (recur func (#;Cons arg args))
+      (recur func (#.Cons arg args))
 
       _
       [apply args])))