(.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])))