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/synthesizer/function.lux | 29 ---------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 new-luxc/source/luxc/synthesizer/function.lux

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

diff --git a/new-luxc/source/luxc/synthesizer/function.lux b/new-luxc/source/luxc/synthesizer/function.lux
deleted file mode 100644
index 52aee9a49..000000000
--- a/new-luxc/source/luxc/synthesizer/function.lux
+++ /dev/null
@@ -1,29 +0,0 @@
-(;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