1 files changed, 0 insertions, 29 deletions
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])))