1 files changed, 29 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis/function.lux b/new-luxc/source/luxc/lang/synthesis/function.lux
new file mode 100644
index 000000000..52aee9a49
--- /dev/null
+++ b/new-luxc/source/luxc/lang/synthesis/function.lux
@@ -0,0 +1,29 @@
+(;module:
+  lux
+  (luxc (lang ["la" analysis]
+              ["ls" synthesis]
+              [";L" variable #+ Variable])))
+
+(do-template [<name> <comp> <ref>]
+  [(def: #export (<name> arity)
+     (-> ls;Arity Bool)
+     (<comp> <ref> arity))]
+
+  [nested? n.> +1]
+  [top?    n.= +0]
+  )
+
+(def: #export (adjust-var outer 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)])
+  (loop [apply apply
+         args (list)]
+    (case apply
+      (^code ("lux apply" (~ arg) (~ func)))
+      (recur func (#;Cons arg args))
+
+      _
+      [apply args])))