- WIP: Migrated synthesis to stdlib.

1 files changed, 0 insertions, 29 deletions

diff --git a/new-luxc/source/luxc/lang/synthesis/function.lux b/new-luxc/source/luxc/lang/synthesis/function.lux
deleted file mode 100644
index 25dd75aff..000000000
--- a/new-luxc/source/luxc/lang/synthesis/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])))