From 71d7a4c7206155e09f3e1e1d8699561ea6967382 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Nov 2017 00:04:43 -0400
Subject: - Re-organized synthesis.

---
 new-luxc/source/luxc/lang/synthesis/function.lux | 29 ++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/synthesis/function.lux

(limited to 'new-luxc/source/luxc/lang/synthesis/function.lux')

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])))
-- 
cgit v1.2.3